Program

Accepted Papers

Regular Papers:

• Compilation of the Stochastic Language ALEA, Baltasar Trancón Y Widemann and Markus Lepper.
• Design and Implementation of DSLs for Unit Testing, Marco T. Morazán and Andres Garced.
• Recipe-Based Errors: Methodology, Implementation, and Evaluation, Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose Bohrer, Andres Garced and David Anthony Fields.
• Refinement-Types Driven Development: A study, Facundo Domínguez and Arnaud Spiwack.

Draft Papers:

• AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán.
• A Quantum-Control Lambda-Calculus with Multiple Measurement Bases, Nicolas A. Monzon and Alejandro Díaz-Caro.
• A Redex Formalization of the Attributed PEG Type System, Gabriel Pires Ferreira, Elton Cardoso, Leonardo Reis and Rodrigo Ribeiro.
• Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia G. Turano, Andres Garced and David Anthony Fields.
• Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo Ribeiro.
• Energy-aware Data-Parallel Functional Array Processing for Heterogeneous Platforms, Clemens Grelck.
• Formalizating System I with type Top in Agda, Agustín Séttimo, Cristian Sottile and Cecilia Manzino.
• Foundations of Gradual Abstract Interpretation, Gaspar Ricci, Sebastian Erdweg, Éric Tanter and Matías Toro.
• Heuristics-based Type Error Diagnosis for Haskell: the case of type families, Niels Kwadijk and Jurriaan Hage.
• Higher-ranked region inference for polymorphic, lazy languages, Ivo Gabe de Wolff and Jurriaan Hage.
• Improving a Group Membership Protocol Implementation using Liquid Haskell and QuickCheck, Jianhao Li and Viktoria Zsok.
• List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro.
• Reducibility candidates modulo isomorphisms, Cristian Sottile and Alejandro Díaz-Caro.
• Type Checking Dependently Sorted Nominal Signatures, Maribel Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro.
• Unrestricted Grammar Design and Visualization: A Design Recipe and Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana Minić.