An Intrinsically Typed Solution for the List-Machine Benchmark
Samuel Feitosa and Rodrigo Ribeiro

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics
Felipe Sasdelli, Maycon Amaro, Elton Cardoso, Samuel Feitosa, and Rodrigo Ribeiro

A Gradual Type System for Elixir
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, and Marcos Viera

Monadic W in Coq
Rafael Castro Gonçalves Silva, Cristiano Vasconcellos, and Karina Girardi Roggia

A Formalisation of LEGv8 in Agda
Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, and Miguel Pagano

An Algorithm for Context-Free Path Queries over Graph Databases
Ciro M. Medeiros, Martin Alejandro Musicante, and Umberto Souza da Costa

Stream Parallelism Annotations for Multi-Core Frameworks
Renato Barreto Hoffmann, Dalvan Griebler, Marco Danelutto, and Luiz Gustavo Fernandes

YaCoS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences
André Felipe Zanella, Anderson Faustino da Silva, and Fernando Magno Quintão Pereira

Towards an Order-Aware Object Comparison
Bruno Sofiato, Fabio Levy Siqueira, and Ricardo Luis de Azevedo da Rocha