10 de set., 11:00 | Structure-Aware Compiler Auto-TuningAnderson Faustino da Silva (UEM), Christian Schwarz (TU Dresden), Jeronimo Castrillon (TU Dresden) |
|---|---|
10 de set., 11:20 | Multi-Language Benchmark Generation via L-SystemsVinícius Silva (UFMG), Matheus Marchesotti (UFMG), Fernando Magno Quintao Pereira (UFMG) |
10 de set., 12:00 | 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) |
10 de set., 16:30 | A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories Luiz Romário Santana Rios (UFRJ), Hugo Musso Gualandi (UFRJ) |
10 de set., 16:50 | A Mechanized Semantics For eBPF And Its Applications In Program VerificationMarcos Emiliano (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
10 de set., 17:10 | 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) |
10 de set., 17:30 | A Mechanized Formalization of MicroKanren in AgdaEduardo Henke (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
10 de set., 17:50 | Translating Finite-Typed Symmetric Pattern Matching into KetFlávio Borin Júnior (UFSM), Juliana Kaizer Vizzotto (UFSM) |
11 de set., 11:00 | 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) |
11 de set., 11:15 | 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) |
11 de set., 11:30 | 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) |
11 de set., 11:50 | 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) |
11 de set., 12:10 | Correct by Construction Gram-Schmidt ProcessJoão Victor Lopez Pereira (UFRJ), Daniel Kiyoshi Hashimoto (UFRJ), Hugo Musso Gualandi (UFRJ), João Paixão (UFRJ) |
11 de set., 14:00 | ANTLR2PEG: A tool to convert ANTLR grammars into PEG grammarsJosé Santos (UFRN), Sérgio Queiroz de Medeiros (UFRN) |
11 de set., 14:20 | Orchestra: CPU-GPU Cooperative Programming in ElixirHenrique Gabriel Rodrigues (UFPel), Andre Rauber Du Bois (UFPel), Gerson Geraldo H. Cavalheiro (UFPel), Eduardo Mailan (UFPel) |
11 de set., 14:40 | User-Directed GPU Kernel Fusion of Parallel Skeletons Using MetaprogrammingJoão Antonio Soares (UFPel), Andre Rauber Du Bois (UFPel), Gerson Geraldo H. Cavalheiro (UFPel) |
11 de set., 15:00 | Bleach: A Programming Language for Teaching Compilers Victor Costa (UFPE), Leopoldo Motta Teixeira (UFPE) |
11 de set., 15:20 | A Parsing Expression Grammar-based Approach For Syntax Tree Pattern MatchingGuilherme Augusto Anício Drummond do Nascimento (UFOP), Rodrigo Geraldo Ribeiro (UFOP) |
11 de set., 15:40 | Two Induction-Free Constructions For Finite Automata DeterminizationMatheus do Ó Santos Tiburcio (UFRJ), Hugo Musso Gualandi (UFRJ) |
11 de set., 16:30 | A Collective Communication Library for Distributed TensorsFrancisco H. Carvalho-Junior (UFC), Francisco José Lins Magalhães |
11 de set., 16:50 | 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) |
11 de set., 17:10 | Awaiting Trouble: Characterizing Concurrency Issues in Modern Promise-Based JavaScript Applications Pedro Vicente (UFSCar), Andre Takeshi Endo (UFSCar) |
11 de set., 17:30 | Spring MVC vs. WebFlux em Cargas I/O-bound: Reavaliando a Superioridade do Modelo ReativoBeatriz Teixeira (UFLA), Ricardo Terra (UFLA) |
11 de set., 17:45 | A Domain-Specific Language for Energy Management in Edge Computing SystemsVictor Vidal (UFAM), Raimundo da Silva Barreto (UFAM), Horácio Oliveira (UFAM) |