Sep 10, 11:00 AM | Structure-Aware Compiler Auto-TuningAnderson Faustino da Silva (UEM), Christian Schwarz (TU Dresden), Jeronimo Castrillon (TU Dresden) |
|---|---|
Sep 10, 11:20 AM | Multi-Language Benchmark Generation via L-SystemsVinícius Silva (UFMG), Matheus Marchesotti (UFMG), Fernando Magno Quintao Pereira (UFMG) |
Sep 10, 12:00 PM | Gaps in Operator Fusion for Deep Learning Systems: The Trade-off Between Compilation and Execution of Unfused OperationsLeonardo Kamei (PUC-MG), Pedro H. Ramos (PUC-MG) |
Sep 10, 04:30 PM | A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories Luiz Romário Santana Rios (UFRJ), Hugo Musso Gualandi (UFRJ) |
Sep 10, 04:50 PM | A Mechanized Semantics For eBPF And Its Applications In Program VerificationMarcos Emiliano (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
Sep 10, 05:10 PM | Strong Normalization for Well-Typed Parsing Expression GrammarsGuilherme Augusto Anício Drummond do Nascimento (UFOP), Elton Máximo Cardoso (UFOP), Samuel da Silva Feitosa (UFFS), Rodrigo Geraldo Ribeiro (UFOP) |
Sep 10, 05:30 PM | A Mechanized Formalization of MicroKanren in AgdaEduardo Henke (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
Sep 10, 05:50 PM | Translating Finite-Typed Symmetric Pattern Matching into KetFlávio Borin Júnior (UFSM), Juliana Kaizer Vizzotto (UFSM) |
Sep 11, 11:00 AM | Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT Eduardo Sandalo Porto (UFMG), Ana C. V. de Melo (USP) |
Sep 11, 11:15 AM | Epi: An Epistemic Type System for Containing LLM Hallucination in Generated Code Randerson Oliveira Melville Rebouças (UFRGS), Dante Augusto Couto Barone (UFRGS), Eliseo Reategui (UFRGS) |
Sep 11, 11:30 AM | SolForge: A Large Language Model-Based Approach for the Differential Testing of Solidity CompilersGabriel Salvi (UFFS), Andrei Braga (UFFS), Guilherme Dal Bianco (UFFS), Samuel da Silva Feitosa (UFFS) |
Sep 11, 11:50 AM | LLM-Guided Semantic Mutation for Lua Interpreter Fuzzing: A Coverage-Driven Approach Richard Souza (UFFS), Andrei Braga (UFFS), Giancarlo Salton (UFFS), Samuel da Silva Feitosa (UFFS) |
Sep 11, 12:10 PM | Correct by Construction Gram-Schmidt ProcessJoão Victor Lopez Pereira (UFRJ), Daniel Kiyoshi Hashimoto (UFRJ), Hugo Musso Gualandi (UFRJ), João Paixão (UFRJ) |
Sep 11, 02:00 PM | ANTLR2PEG: A tool to convert ANTLR grammars into PEG grammarsJosé Santos (UFRN), Sérgio Queiroz de Medeiros (UFRN) |
Sep 11, 02:20 PM | Orchestra: CPU-GPU Cooperative Programming in ElixirHenrique Gabriel Rodrigues (UFPel), Andre Rauber Du Bois (UFPel), Gerson Geraldo H. Cavalheiro (UFPel), Eduardo Mailan (UFPel) |
Sep 11, 02:40 PM | User-Directed GPU Kernel Fusion of Parallel Skeletons Using MetaprogrammingJoão Antonio Soares (UFPel), Andre Rauber Du Bois (UFPel), Gerson Geraldo H. Cavalheiro (UFPel) |
Sep 11, 03:00 PM | Bleach: A Programming Language for Teaching Compilers Victor Costa (UFPE), Leopoldo Motta Teixeira (UFPE) |
Sep 11, 03:20 PM | A Parsing Expression Grammar-based Approach For Syntax Tree Pattern MatchingGuilherme Augusto Anício Drummond do Nascimento (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
Sep 11, 03:40 PM | Two Induction-Free Constructions For Finite Automata DeterminizationMatheus do Ó Santos Tiburcio (UFRJ), Hugo Musso Gualandi (UFRJ) |
Sep 11, 04:30 PM | A Collective Communication Library for Distributed TensorsFrancisco H. Carvalho-Junior (UFC), Francisco José Lins Magalhães |
Sep 11, 04:50 PM | An Answer Set Programming Approach for Academic Event Allocation: A Case Study at the Federal University of Ceará Thiago Valente (UFC), Pedro Ferreira (USP), Rildian Beserra (UFC), Alexandre Arruda (UFC), Dmontier Aragão Jr (UFC) |
Sep 11, 05:10 PM | Awaiting Trouble: Characterizing Concurrency Issues in Modern Promise-Based JavaScript Applications Pedro Vicente (UFSCar), Andre Takeshi Endo (UFSCar) |
Sep 11, 05:30 PM | Spring MVC vs. WebFlux em Cargas I/O-bound: Reavaliando a Superioridade do Modelo ReativoBeatriz Teixeira (UFLA), Ricardo Terra (UFLA) |
Sep 11, 05:45 PM | A Domain-Specific Language for Energy Management in Edge Computing SystemsVictor Vidal (UFAM), Raimundo da Silva Barreto (UFAM), Horácio Oliveira (UFAM) |