Programação

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