A Foreign Function Interface for Pallene
Gabriel Coutinho de Paula and Roberto Ierusalimschy.

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq
Ariel Agne da Silveira, Rodrigo Ribeiro, Paulo Torrens and Karina Roggia.

A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars
Elton Máximo Cardoso, Rodrigo Ribeiro, Leonardo Vieira Dos Santos Reis, Daniel Freitas Pereira and Regina Sarah Monferrari Amorim de Paula.

E-APK: Energy Pattern Detection in Decompiled Android Applications
Nelson Gregorio, João Fernandes, João Bispo and Sérgio Medeiros.

EventManager - a tool to help students analyse concurrent programs
Anna Leticia Alegria, Roberto Ierusalimschy and Noemi Rodriguez.

Exploring Opacity of Software Transactional Memory in Haskell through Graph Transformation
Diogo J. Cardoso, Luciana Foss and André R. Du Bois.

Geração Automática de Benchmarks para Compilação Preditiva
Cecília Kind, João Coelho, Bruno Kind and Fernando Pereira.

High-Level Stream and Data Parallelism in C++ for GPUs
Dinei Rockenbach, Junior Loff, Gabriell Araujo, Dalvan Griebler and Luiz Fernandes.

Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas
Thais Damasio, Michael Canesche, Vinícius Pacheco, Anderson Faustino and Fernando Pereira.