Program
Schedule
| Time | Monday (29/09) | Tuesday (30/09) | Wednesday (01/10) | Thursday (02/10) | Friday (03/10) |
|---|---|---|---|---|---|
| 8:30 to 9:00 | Registration | Registration | Registration Welcome | ||
| 9:00 to 9:30 | Tutorial 1 room 502-Azul |
Tutorial 3 room 727-Gris |
Keynote: Iván Salón de Actos |
Session 4 room 502-Azul |
Keynote: Roberto Salón de Actos |
| 9:30 to 10:00 | |||||
| 10:00 to 10:30 | Coffee break | Coffee break | Coffee break | ||
| 10:30 to 11:00 | Coffee break | Coffee break | Session 1 room 502-Azul |
Session 5 room 502-Azul |
Session 6 room 727-Gris |
| 11:00 to 11:30 | Tutorial 1 room 502-Azul |
Tutorial 3 room 727-Gris |
|||
| 11:30 to 12:00 | |||||
| 12:00 to 12:30 | Lunch | Lunch | Lunch | ||
| 12:30 to 13:00 | Lunch | Lunch | |||
| 13:00 to 13:30 | |||||
| 13:30 to 14:00 | Session 2 room 502-Azul |
Session 7 room 727-Gris |
|||
| 14:00 to 14:30 | Tutorial 2 room 502-Azul |
Tutorial 4 room 727-Gris |
Social Event | ||
| 14:30 to 15:00 | |||||
| 15:00 to 15:30 | Coffee break | Coffee break | |||
| 15:30 to 16:00 | Coffee break | Coffee break | Session 3 room 502-Azul |
Session 8 room 727-Gris |
|
| 16:00 to 16:30 | Tutorial 2 room 502-Azul |
Tutorial 4 room 727-Gris |
|||
| 16:30 to 17:00 | |||||
| 17:00 to 17:30 |
Daily Schedule
| Monday (29/09) - Room 502-Azul | |||
|---|---|---|---|
| Time | |||
| 8:30 to 9:00 | Registration | ||
| 9:00 to 10:30 | Tutorial: Jurriaan Hage, Type-based Static Analysis of Functional Languages | ||
| 10:30 to 11:00 | Coffee break | ||
| 11:00 to 12:30 | Tutorial: Jurriaan Hage, Type-based Static Analysis of Functional Languages | ||
| 12:30 to 14:00 | Lunch | ||
| 14:00 to 15:30 | Tutorial: Marco T. Morazán, Programming-Based Automata Theory | ||
| 15:30 to 16:00 | Coffee break | ||
| 16:00 to 17:30 | Tutorial: Marco T. Morazán, Programming-Based Automata Theory | ||
| Tuesday (30/09) - Room 727-Gris | |||
|---|---|---|---|
| Time | |||
| 8:30 to 9:00 | Registration | ||
| 9:00 to 10:30 | Tutorial: TxPipe, Development of dApps in the UTxO model (in spanish) | ||
| 10:30 to 11:00 | Coffee break | ||
| 11:00 to 12:30 | Tutorial: TxPipe, Development of dApps in the UTxO model (in spanish) | ||
| 12:30 to 14:00 | Lunch | ||
| 14:00 to 15:30 | Tutorial: Éric Tanter, Gradual Typing | ||
| 15:30 to 16:00 | Coffee break | ||
| 16:00 to 17:30 | Tutorial: Éric Tanter, Gradual Typing | ||
| Wednesday (01/10) | |||
|---|---|---|---|
| 8:30 to 9:00 | Registration - Welcome | ||
| Keynote - Salón de Actos | |||
| Time | |||
| 9:00 to 10:00 | Keynote: Iván Perez, Making Haskell Fly | ||
| 10:00 to 10:30 | Coffee break | ||
| Session 1 - Room 502-Azul - Chair: | |||
| Time | Talk | ||
| 10:30 to 11:00 | Heuristics-based Type Error Diagnosis for Haskell: the case of type families, Niels Kwadijk and Jurriaan Hage. | ||
| 11:00 to 11:30 | Refinement-Types Driven Development: A study, Facundo Domínguez and Arnaud Spiwack. | ||
| 11:30 to 12:00 | Improving a Group Membership Protocol Implementation using Liquid Haskell and QuickCheck, Jianhao Li and Viktoria Zsok. | ||
| 12:00 to 13:30 | Lunch | ||
| Session 2 - Room 502-Azul - Chair: | |||
| Time | Talk | ||
| 13:30 to 14:00 | Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia G. Turano, Andres Garced and David Anthony Fields. | ||
| 14:00 to 14:30 | Recipe-Based Errors: Methodology, Implementation, and Evaluation, Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose Bohrer, Andres Garced and David Anthony Fields. | ||
| 14:30 to 15:00 | Unrestricted Grammar Design and Visualization: A Design Recipe and Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana Minić. | ||
| 15:00 to 15:30 | Coffee break | ||
| Session 3 - Room 502-Azul - Chair: | |||
| Time | Talk | ||
| 15:30 to 16:00 | Adopting Elixir for web development, Jorge Bejar, WyeWorks. | ||
| 16:00 to 16:30 | TxPipe | ||
| Thursday (02/10) | |||
|---|---|---|---|
| Session 4 - Room 502-Azul - Chair: | |||
| Time | Talk | ||
| 9:00 to 9:30 | Type Checking Dependently Sorted Nominal Signatures, Maribel Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro. | ||
| 9:30 to 10:00 | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases, Nicolas A. Monzon and Alejandro Díaz-Caro | ||
| 10:00 to 10:30 | Coffee break | ||
| Session 5 - Room 502-Azul - Chair: | |||
| Time | Talk | ||
| 10:30 to 11:00 | Foundations of Gradual Abstract Interpretation, Gaspar Ricci, Sebastian Erdweg, Éric Tanter and Matías Toro. | ||
| 11:00 to 11:30 | TBA | ||
| 11:30 to 12:00 | TBA | ||
| 12:00 to 13:30 | Lunch | ||
| Friday (03/10) | |||
|---|---|---|---|
| Keynote - Salón de Actos | |||
| Time | |||
| 9:00 to 10:00 | Keynote: Roberto Ierusalimschy, Functions in Lua | ||
| 10:00 to 10:30 | Coffee break | ||
| Session 6 - Room 727-Gris - Chair: | |||
| Time | Talk | ||
| 10:30 to 11:00 | Compilation of the Stochastic Language ALEA, Baltasar Trancón Y Widemann and Markus Lepper. | ||
| 11:00 to 11:30 | Energy-aware Data-Parallel Functional Array Processing for Heterogeneous Platforms, Clemens Grelck. | ||
| 11:30 to 12:00 | Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo Ribeiro. | ||
| 12:00 to 13:30 | Lunch | ||
| Session 7 - Room 727-Gris - Chair: | |||
| Time | Talk | ||
| 13:30 to 14:00 | Design and Implementation of DSLs for Unit Testing, Marco T. Morazán and Andres Garced. | ||
| 14:00 to 14:30 | List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro. | ||
| 14:30 to 15:00 | AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán. | ||
| 15:00 to 15:30 | Coffee break | ||
| Session 8 - Room 727-Gris - Chair: | |||
| Time | Talk | ||
| 15:30 to 16:00 | Formalizating System I with type Top in Agda, Agustín Séttimo, Cristian Sottile and Cecilia Manzino. | ||
| 16:00 to 16:30 | Reducibility candidates modulo isomorphisms, Cristian Sottile and Alejandro Díaz-Caro. | ||
| 16:30 to 17:00 | Higher-ranked region inference for polymorphic, lazy languages, Ivo Gabe de Wolff and Jurriaan Hage. | ||
TOP Software
