Abstract is missing.
- A Graph Transformation System formalism for Software Transactional Memory OpacityDiogo J. Cardoso, Luciana Foss, André Rauber Du Bois. 3-10 [doi]
- An Inherently-Typed Formalization for Featherweight JavaSamuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. 11-18 [doi]
- Efficient and Precise Dynamic Construction of Control Flow GraphsAndrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira. 19-26 [doi]
- IML - An Image Manipulation LanguageCarlos Vieira, Sérgio Queiroz de Medeiros. 27-29 [doi]
- Java Stream Fusion: Adapting FP mechanisms for an OO settingFrancisco Ribeiro, João Saraiva, Alberto Pardo. 30-37 [doi]
- Profiling Halide DSL with CPU Performance Events for Schedule OptimizationRafael Ravedutti L. Machado, André Murbach Maidl, Daniel Weingaertner. 38-45 [doi]
- Structure verification of deep neural networks at compilation time using dependent typesLeonardo Piñeyro, Alberto Pardo, Marcos Viera. 46-53 [doi]
- Structured Stream Parallelism for RustRicardo Pieper, Dalvan Griebler, Luiz Gustavo Fernandes. 54-61 [doi]
- Synthesis of Benchmarks for the C Programming Language by Mining Software RepositoriesBreno Campos Ferreira Guimarães, José Wesley de S. Magalhães, Anderson Faustino da Silva, Fernando M. Q. Pereira. 62-69 [doi]
- Towards Typed Semantics for Parsing Expression GrammarsRodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso. 70-77 [doi]