Abstract is missing.
- A Sound Deep Embedding of Arbitrary Normal Modal Logics in CoqAriel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia. 1-7 [doi]
- A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression GrammarsElton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro. 8-14 [doi]
- Exploring Opacity Software Transactional Memory in Haskell through Graph TransformationDiogo J. Cardoso, Luciana Foss, André Rauber Du Bois. 15-23 [doi]
- EventManager - a tool to help students analyse concurrent programsAnna Leticia Alegria, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez. 24-31 [doi]
- A Foreign Function Interface for PalleneGabriel Coutinho De Paula, Roberto Ierusalimschy. 32-40 [doi]
- High-Level Stream and Data Parallelism in C++ for GPUsDinei A. Rockenbach, Júnior Löff, Gabriell Alves de Araujo, Dalvan Griebler, Luiz Gustavo Fernandes. 41-49 [doi]
- E-APK: Energy Pattern Detection in Decompiled Android ApplicationsNelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros. 50-58 [doi]
- Geração Automática de Benchmarks para Compilação PreditivaCecília Kind, Joao Coelho, Bruno Kind, Fernando Pereira. 59-67 [doi]
- Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de ProgramasThaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira. 68-75 [doi]