Brazilian Symposium on Programming Languages (SBLP) - Accepted Papers

Sep 10, 11:00 AM

Structure-Aware Compiler Auto-Tuning

Anderson Faustino da Silva (UEM), Christian Schwarz (TU Dresden), Jeronimo Castrillon (TU Dresden)

Sep 10, 11:20 AM

Multi-Language Benchmark Generation via L-Systems

Vinícius Silva (UFMG), Matheus Marchesotti (UFMG), Fernando Magno Quintao Pereira (UFMG)

Sep 10, 11:40 AM

SmartLint: Static Detection of Insecure Patterns in Solidity Smart Contracts Inspired by Move's Resource Model

Luiz Gonçalves (UFMG)

Sep 10, 12:00 PM

Operator Fusion Gaps in Deep Learning Systems: The Compilation--Execution Trade-off of Unfused Operations

Leonardo 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

Marcos Emiliano (UFOP), Rodrigo Geraldo Ribeiro (UFOP)

Sep 10, 05:10 PM

Strong Normalization for Well-Typed Parsing Expression Grammars

Guilherme 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 Agda

Eduardo Henke (UFOP), Rodrigo Geraldo Ribeiro (UFOP)

Sep 10, 05:50 PM

Translating Finite-Typed Symmetric Pattern Matching into Ket

Flá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 Compilers

Gabriel 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 Process

Joã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 PEGs grammars

José Santos (UFRN), Sérgio Queiroz de Medeiros (UFRN)

Sep 11, 02:20 PM

Orchestra: CPU-GPU Cooperative Programming in Elixir

Henrique Gabriel Rodrigues (UFPel), Andre Rauber Du Bois (UFPel), Gerson Geraldo H. Cavalheiro (UFPel), Eduardo Mailan (UFPel)

Sep 11, 02:40 PM

User-Directed Fusion of Parallel Skeletons Using Metaprogramming

Joã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 matching

Guilherme Augusto Anício Drummond do Nascimento (UFOP), Rodrigo Geraldo Ribeiro (UFOP)

Sep 11, 03:40 PM

Two induction-free constructions for finite automata determinization

Matheus do Ó Santos Tiburcio (UFRJ), Hugo Musso Gualandi (UFRJ)

Sep 11, 04:30 PM

A Collective Communication Library for Distributed Tensors

Francisco 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 Reativo

Beatriz Teixeira (UFLA), Ricardo Terra (UFLA)

Sep 11, 05:45 PM

PowerDSL: A Domain-Specific Language for Energy Management in Edge Computing Systems

Victor Vidal (UFAM), Raimundo da Silva Barreto (UFAM), Horácio Oliveira (UFAM)