A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction
Nilton Luiz Queiroz Junior and Anderson Faustino da Silva.

Retrofitting Typestates into Rust
José Duarte and António Ravara.

Hapi: A Domain Specific Language for the Specification of Access Policies
Vinícius Julião, Alexander Holmquist, Flávio Lúcio, Celso Simões and Fernando Pereira.

New Optimization Sequences for Code-Size Reduction in LLVM
Anderson Faustino, Edson Borin, Fernando Pereira, Otávio Nápoli and Vanderson Rosário.

Inlining for Code Size Reduction
Thaís Damásio, Vinícius Pacheco, Fabrício Goes, Fernando Pereira and Rodrigo Rocha.

A Surprisingly Simple Lua Compiler
Hugo Musso Gualandi and Roberto Ierusalimschy.

Refactoring Java Monoliths into Executable Microservice-Based Applications
Francisco Freitas, André Ferreira and Jácome Cunha.

Evaluating Optimizations for a High-Level Language
Leonardo Kaplan and Roberto Ierusalimschy.

A Graph Transformation System formalism for correctness of Transactional Memory algorithms
Diogo Cardoso, Luciana Foss and Andre Du Bois.

TSDolly: A program generator for TypeScript
Gabriela Araujo Britto, Leopoldo Teixeira and Rohit Gheyi.

Synthesis of Random Real-World Java Programs from Preexisting Libraries
Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro and Samuel da Silva Feitosa.

Graphs based on IR as Representation of Code: Types and Insights
Anderson Faustino.

High-Level Stream and Data Parallelism in C++ for Multi-Cores
Junior Loff, Renato B. Hoffman, Dalvan Griebler and Luiz G. Fernandes.

An Extension for Transactional Memories in Modern Multithreaded Programming Tools
Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, Andre R. Du Bois and Gerson G. H. Cavalheiro.