Simpósio Brasileiro de Linguagens de Programação (SBLP) - Programação

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

SBLPInformações

10 de set., 09:00 - 10:30


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

SBLPPalestra

10 de set., 09:00 - 10:30

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

SBLPSessão

10 de set., 11:00 - 12:30

10 de set., 11:00

Structure-Aware Compiler Auto-Tuning

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

10 de set., 11:20

Multi-Language Benchmark Generation via L-Systems

Viní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 Operations

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

ST2 SBLPen

SBLPSessão

10 de set., 16:30 - 18:30

10 de set., 16:30

A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories Artefato Disponível

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 Verification

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

10 de set., 17:10

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)

10 de set., 17:30

A Mechanized Formalization of MicroKanren in Agda

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

10 de set., 17:50

Translating Finite-Typed Symmetric Pattern Matching into Ket

Flávio Borin Júnior (UFSM), Juliana Kaizer Vizzotto (UFSM)

ST3 SBLPen

SBLPSessão

11 de set., 11:00 - 12:30

11 de set., 11:00

Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT Artefato DisponívelArtefato Funcional

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 Artefato DisponívelArtefato Funcional

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 Compilers

Gabriel 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 Artefato DisponívelArtefato Funcional

Richard Souza (UFFS), Andrei Braga (UFFS), Giancarlo Salton (UFFS), Samuel da Silva Feitosa (UFFS)

11 de set., 12:10

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

SBLPSessão

11 de set., 14:00 - 16:00

11 de set., 14:00

ANTLR2PEG: A tool to convert ANTLR grammars into PEG grammars

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

11 de set., 14:20

Orchestra: CPU-GPU Cooperative Programming in Elixir

Henrique 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 Metaprogramming

Joã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 Artefato DisponívelArtefato Funcional

Victor Costa (UFPE), Leopoldo Motta Teixeira (UFPE)

11 de set., 15:20

A Parsing Expression Grammar-based Approach For Syntax Tree Pattern Matching

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

11 de set., 15:40

Two Induction-Free Constructions For Finite Automata Determinization

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

ST5 SBLP

SBLPSessão

11 de set., 16:30 - 18:30

11 de set., 16:30

A Collective Communication Library for Distributed Tensors

Francisco 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á Artefato DisponívelArtefato Funcional

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 Artefato DisponívelArtefato Funcional

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 Reativo

Beatriz Teixeira (UFLA), Ricardo Terra (UFLA)

11 de set., 17:45

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

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