A Compiler-Driven Approach for Static Dependency Injection in Embedded SoftwareAuthor(s): Thiago Borges de Oliveira, Ariadne de Andrade Costa (UFJ)
An Interpreter-based Framework for Static Analysis of Variability in Space and TimeAuthor(s): Tayná Vieira, Vander R. Alves (UnB), Leopoldo Motta Teixeira (UFPE)
Approaching closures in unmanaged languages: a comparison between C++, Rust, and SwiftAuthor(s): Luiz Romário Santana Rios, Roberto Ierusalimschy (PUC-Rio)
Indentation-Sensitive Parsers for Free-Form LanguagesAuthor(s): Sérgio Queiroz de Medeiros (UFRN), Hugo Musso Gualandi (UFRJ)
Interpretando Efeitos Algébricos por Meio de MônadasAuthor(s): Karla Alexsandra de Souza Joriatti, Cristiano Damiani Vasconcellos, Paulo H. Torrens (UDESC), Rodrigo Geraldo Ribeiro (UFOP)
Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level ProgrammingAuthor(s): Flávio Borin Júnior, Juliana Kaizer Vizzotto (UFSM)
On the Practicality of LLM-Based Compiler FuzzingAuthor(s): Gabriel Guimarães dos Santos Ricardo, Natanael dos Santos Junior, Flavio Figueiredo, Fernando Magno Quintao Pereira (UFMG)
Pest control: A formal model of Pest parser generatorAuthor(s): Guilherme Daher, Elton Máximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro (UFOP)
Porcelain: a semantic framework for studying memory safety mechanisms in imperative languagesAuthor(s): Pedro Henrique Boniatti Colle, Rodrigo Machado (UFRGS)
Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offsAuthor(s): Evandro Rosa, Jerusa Marchi, Eduardo Duzzioni, Rafael de Santiago (UFSC)
Static Analysis for Program Execution Cost EstimationAuthor(s): Pedro Henrique Torres Peres Garozi, Anderson Faustino da Silva (UEM)
Structured platform-aware programming for RustAuthor(s): Francisco H. Carvalho-Junior, Mykael Nogueira, João Marcelo Uchôa de Alencar (UFC)
Towards GPU Parallelism Abstractions in Rust: A Case Study with Linear PipelinesAuthor(s): Leonardo Gibrowski Faé, Dalvan Griebler (PUCRS)