Abstract is missing.
- A Mixed Approach for Building Extensible ParsersLeonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha. 1-15 [doi]
- A Security Types Preserving Compiler in HaskellCecilia Manzino, Alberto Pardo. 16-30 [doi]
- Avoiding Code Pitfalls in Aspect-Oriented ProgrammingPéricles Alves, Eduardo Figueiredo, Fabiano Cutigi Ferrari. 31-46 [doi]
- Bounds Check Hoisting for AddressSanitizerSimon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues. 47-61 [doi]
- Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in AgdaErnesto Copello, Alvaro Tasistro, Bruno Bianchi. 62-76 [doi]
- Detecting Anomalous Energy Consumption in Android ApplicationsMarco Couto, Tiago Carção, Jácome Cunha, João Paulo Fernandes, João Saraiva. 77-91 [doi]
- Effect Capabilities for HaskellIsmael Figueroa, Nicolas Tabareau, Éric Tanter. 92-108 [doi]
- Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUsAnderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro. 109-123 [doi]
- Real-World Loops Are Easy to PredictRaphael Ernani Rodrigues. 124-138 [doi]
- A Hybrid Framework to Accelerate Adaptive Compilation SystemsGabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin. 139-144 [doi]
- Transactional Boosting for HaskellAndré Rauber Du Bois, Maurício Lima Pilla, Rodrigo Duarte. 145-159 [doi]