Abstract is missing.
- Front Matter [doi]
- Pest control: A formal model of the Pest parser generatorGuilherme Daher, Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Ribeiro 0001. 1-9 [doi]
- Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offsEvandro Chagas Ribeiro da Rosa, Jerusa Marchi, Eduardo Inacio Duzzioni, Rafael de Santiago. 10-18 [doi]
- A Compiler-Driven Approach for Static Dependency Injection in Embedded SoftwareThiago Borges de Oliveira, Ariadne de Andrade Costa. 19-27 [doi]
- An Interpreter-based Framework for Static Analysis of Variability in Space and TimeTayná Vieira, Vander Alves, Leopoldo Teixeira. 28-35 [doi]
- Interpretando Efeitos Algébricos por Meio de MônadasKarla A. de S. Joriatti, Paulo Henrique Torrens, Rodrigo Geraldo Ribeiro, Cristiano Damiani Vasconcellos. 36-43 [doi]
- Indentation-Sensitive Parsers for Free-Form LanguagesSérgio Queiroz de Medeiros, Hugo Musso Gualandi. 44-50 [doi]
- Structured platform-aware programming for RustFrancisco Heron de Carvalho Junior, José Mykael Alves Nogueira, João Marcelo Uchôa de Alencar. 51-58 [doi]
- On the Practicality of LLM-Based Compiler FuzzingGabriel Guimarães dos Santos Ricardo, Natanael dos Santos Junior, Flavio Figueiredo, Fernando Magno Quintão Pereira. 59-66 [doi]
- Static Analysis for Program Execution Cost EstimationPedro Henrique Torres Peres Garozi, Anderson Faustino da Silva. 67-74 [doi]
- Towards GPU Parallelism Abstractions in Rust: A Case Study with Linear PipelinesLeonardo Gibrowski Faé, Dalvan Griebler. 75-83 [doi]
- Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level ProgrammingFlávio Borin Júnior, Juliana Kaizer Vizzotto. 84-92 [doi]
- Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety TechniquesPedro Henrique Boniatti Colle, Rodrigo Machado. 93-96 [doi]
- Approaching closures in unmanaged languages: a comparison between C++, Rust, and SwiftLuiz Romário Santana Rios, Roberto Ierusalimschy. 97-99 [doi]