Thursday (21/09/2017)
International Keynote – Eric Tanter (09:00 – 10:30)
Technical Session #1 – Optimization (10:45 – 12:00)
A hybrid intermediate language between SSA and CPS (10:45 – 11:15)
Paulo Torrens
Cristiano Vasconcellos
Junia Gonçalves
Demand driven less-than analysis (11:15 – 11:45)
Junio Cezar Ribeiro Da Silva
Fernando Magno Quintão Pereira
Register Allocation and Instruction Scheduling Challenge (11:45 – 12:15)
João F. N. Carvalho
Bruno L. Sousa
Marcus R. Araújo
Mariza A. S. Bigonha
Technical Session #2 – Dependent Types (14:00 – 16:00)
Certified Bit-Coded Regular Expression Parsing (14:00 – 14:30)
Rodrigo Ribeiro
Andre Rauber Du Bois
Extensible Records in Idris (14:30 – 15:00)
Gonzalo Waszczuk
Alberto Pardo
Marcos Viera
Inferência de Tipos Dependentes em C (15:00 – 15:30)
Marcus Rodrigues de Araujo
Leandro Terra Cunha Melo
Fernando Magno Quintão Pereira
Friday (22/09/2017)
Technical Session #3 – Optimization (10:45 – 12:00)
The importance of being Extrinsic: coherence and adequacy for a call-by-value language (10:45 – 11:15)
Alejandro Gadea
Emmanuel Gunther
Miguel Pagano
Towards a Green Ranking for Programming Languages (11:15 – 11:45)
Rui Pereira
Marco Couto
João Saraiva
Francisco Ribeiro
Rui Rua
A preliminary assessment of how monads are used in Haskell (11:45 – 12:15)
Ismael Figueroa
Technical Session #4 – Metaprogramming and DSLs (14:00 – 16:00)
Transparent Replication Using Meta-programming in Cyan (14:00 – 14:30)
Fellipe Augusto Ugliara
Gustavo Maciel Dias Vieira
José De Oliveira Guimarães
Aspect-Oriented Programming Reloaded (14:30 – 15:00)
Henrique Rebêlo
Gary T. Leavens
A Domain-Specific Language for the Specification of Gesture-based Applications (15:00 – 15:30)
Daniel Leite Viana
Andre Santos