Thursday, September 22nd
9:00 - 10h30
SBLP - Keynote
Location: Auditório
Typed Energy-Aware Programming
Yu David Liu
SBLP – Technical Session 1 (Functional Programming)
Location: Sala Parque do Ingá
Concurrent hash tables for Haskell
Andre Rauber Du Bois, Rodrigo Medeiros Duarte, Mauricio Pilla, Gerson Cavalheiro, Renata Reiser
An algebraic framework for parallelizing recurrence in functional programming
Rodrigo Rocha, Luis Goes and Fernando Pereira
Optional Type Classes for Haskell
Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos
14:30 - 16:30
SBLP – Technical Session 2 (Parallelism)
Location: Sala Parque do Ingá
Blocos Everywhere para Programação
Rubens Alves, Sylvain Collange and Fernando Pereira
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications
Jefferson Silva, Francisco Carvalho-Junior
Paralelização Automática de código com diretivas OpenACC
Kézia Andrade, Gleison Souza, Breno Campos, Péricles Alves and Fernando Pereira
Friday, September 23rd
11:00 – 12:30
SBLP – Technical Session 3 (Foundations)
Location: Sala Parque do Ingá
Purely Functional Incremental Computing
Denis Firsov, Wolfgang Jeltsch
Comparison between Model Fields and Abstract Predicates
Ke Zhang and Zongyan Qiu
Memoized Zipper-based Attribute Grammars
Joao Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
14:30 – 16:30
SBLP – Technical Session 4 (Compilation)
Location: Sala Parque do Ingá
Compilação Parcial de Programas Escritos em C
Rodrigo Ribeiro, Leandro Melo, Marcus Rodrigues and Fernando Pereira
Certified Derivative Based Parsing of Regular Expressions
Raul Lopes, Rodrigo Ribeiro, Carlos Camarão
JetsonLeap: a Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems
Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Pereira
17:00 - 18:30
SBLP – Technical Session (Object-Oriented Programming)
Location: Sala Parque do Ingá
Automatic Annotating & Checking of Dynamic Ownership
Tingting Hu, Haiyang Liu, Ke Zhang and Zongyan Qiu
A Monadic Semantics for Quantum Computing in Featherweight Java
Samuel Feitosa, Juliana Vizzotto, Eduardo Piveta and André Du Bois
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
Julia Belyakova
