24 de setembro (quinta-feira)

09:00 - 10:30 Palestrante convidado: Sylvain Collange

10:30 - 11:00 PAUSA

11:00 - 12:30 Sessão 1

Automatic Inference of Loop Complexity through Polynomial Interpolation
Francisco Santos, Junio Cezar, Mariza Bigonha, Frederico Campos and Fernando Pereira    

Deadlocks as Runtime Exceptions
Rafael Lobo and Fernando Castor

The Dinamica Virtual Machine for Geosciences
Bruno Ferreira and Fernando Pereira        
 
12:30 - 14:30 ALMOÇO

14:30 - 16:30 Sessão 2

An intrinsic denotational semantics for a lazy functional language
Leonardo Rodríguez

Type Inference for GADTs and Anti-unification
Adelaine Gelain, Cristiano Damiani Vasconcellos, Carlos Camarão and Rodrigo Ribeiro 

Go Model and Object Oriented Programming
Haiyang Liu and Zongyan Qiu


25 de setembro (sexta-feira)

11:00 - 12:30 Sessão 3

Composable Memory Transactions for Java using a Monadic Intermediate Language
Rafael De Leão Bandeira, Andre Rauber Du Bois and Mauricio Pilla

Preserving Lexical Scoping When Dynamically Embedding Languages
Félix Ribeiro, Hisham Muhammad, André Maidl and Roberto Ierusalimschy

Model-Driven Engineering based on Attribute Grammars
Daniel Calegari and Marcos Viera    
 
12:30 - 14:30 ALMOÇO

14:30 - 16:00 Palestrante convidado: Doaitse Swierstra

16:00 - 16:30 PAUSA

16:30 - 18:30 Sessão 4

Color Flipping
Felipe L. Silva, Marcelo F. Luna and Wesley Attrot    

Etino: Colocação Automática de Computação em Hardware Heterogêneo
Douglas Couto, Kezia Andrade, Gleison Mendonça and Fernando Pereira

Restritificação
Victor Campos, Pericles Alves and Fernando Pereira