Brazilian Symposium on Programming Languages (SBLP) - Program

Abertura e premiação SBLP - Sala Alan Turing (auditório FAU)

SBLPInformation

Sep 10, 09:00 AM - 10:30 AM


Keynote SBLP: Towards Compilers for Emerging Heterogeneous Systems - Sala Alan Turing (auditório FAU)en

SBLPTalk

Sep 10, 09:00 AM - 10:30 AM

The demise of scaling laws in micro-electronics has led to the so-called golden era of computer architectures. This includes massive parallelism, hardware specialization, new technologies and non Von-Neumann computing models. This talk discusses high-level programming and compiler abstractions for specific application domains such as high-performance computing, cyber-physical systems and machine learning. Concretely, we discuss coordination programming languages, methodologies to exploit and adapt to heterogeneous computing systems, and current efforts to model and compile for non Von-Neumann computing accelerators. The latter includes abstractions and optimizations flows for reconfigurable systems as well as near and in-memory computing architectures. We report on experiences building such abstractions and optimizations in an extensible framework built upon the MLIR compiler infrastructure. We believe that this kind of unification and automation is key to more quickly navigate the heterogeneous landscape of emerging accelerators and to bring the benefits of emerging architectures to a boarder range of applications.


ST1 SBLPen

SBLPSession

Sep 10, 11:00 AM - 12:30 PM

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, 12:00 PM

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

Leonardo Kamei (PUC-MG), Pedro H. Ramos (PUC-MG)

ST2 SBLPen

SBLPSession

Sep 10, 04:30 PM - 06:30 PM

Sep 10, 04:30 PM

A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories Artifact Available

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 Verification

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)

ST3 SBLPen

SBLPSession

Sep 11, 11:00 AM - 12:30 PM

Sep 11, 11:00 AM

Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT Artifact AvailableArtifact Functional

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 Artifact AvailableArtifact Functional

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 Artifact AvailableArtifact Functional

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)

ST4 SBLPen

SBLPSession

Sep 11, 02:00 PM - 04:00 PM

Sep 11, 02:00 PM

ANTLR2PEG: A tool to convert ANTLR grammars into PEG 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 GPU Kernel 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 Artifact AvailableArtifact Functional

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)

ST5 SBLP

SBLPSession

Sep 11, 04:30 PM - 06:30 PM

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á Artifact AvailableArtifact Functional

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 Artifact AvailableArtifact Functional

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

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

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