Login / Signup
SBLP
Publications
2023
Francisco Heron de Carvalho Junior
,
Tiago Carneiro
A Component Model for Multilevel Parallel Programming.
SBLP
(2023)
Nataniel Siebeneichler
,
Felipe Grando
,
Giancarlo Salton
,
Samuel Feitosa
Uma DSL para gerar APIs RESTFul em Haskell.
SBLP
(2023)
Fernando Neder
,
Ricardo Miranda Filho
,
Jônatas Azevedo
,
Larissa Pessoa
,
Rosiane De Freitas
,
Raimundo Barreto
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android.
SBLP
(2023)
Sérgio Queiroz de Medeiros
,
Marcelo Borges Nogueira
,
Gustavo Quezado Gurgel Magalhães
Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest Site.
SBLP
(2023)
Natanael Zago
,
Andrei Braga
,
Braulio Mello
,
Samuel Feitosa
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória.
SBLP
(2023)
Leonardo G. Faé
,
Renato B. Hoffmann
,
Dalvan Griebler
Source-to-Source Code Transformation on Rust for High-Level Stream Parallelism.
SBLP
(2023)
Rafael Sumitani
,
Lucas Silva
,
Frederico Campos
,
Fernando Magno Quintão Pereira
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation.
SBLP
(2023)
Elton Maximo Cardoso
,
Rodrigo Geraldo Ribeiro
,
Leonardo Vieira dos Santos Reis
,
Marcos Emiliano
A Haskell Library for Adaptable Parsing Expression Grammars.
SBLP
(2023)
Jerônimo da Cunha Ramos
,
André Rauber Du Bois
,
Gerson G. H. Cavalheiro
Obstruction-Free Distributed Transactional Memory.
SBLP
(2023)
Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023
SBLP
(2023)
Elton Maximo Cardoso
,
Leonardo Vieira dos Santos Reis
,
Rodrigo Geraldo Ribeiro
A Verified Operational Semantics for Regular Expression Parsing.
SBLP
(2023)
André Rauber Du Bois
,
Gerson G. H. Cavalheiro
GPotion: An embedded DSL for GPU programming in Elixir.
SBLP
(2023)
Alexander Holmquist
,
Vitor Emanuel
,
Fernando Magno Quintão Pereira
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos.
SBLP
(2023)
2022
Thaís Damásio
,
Michael Canesche
,
Vinícius Pacheco
,
Anderson Faustino da Silva
,
Fernando Magno Quintão Pereira
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas.
SBLP
(2022)
Gabriel Coutinho De Paula
,
Roberto Ierusalimschy
A Foreign Function Interface for Pallene.
SBLP
(2022)
SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022
SBLP
(2022)
Cecília Kind
,
Joao Coelho
,
Bruno Kind
,
Fernando Pereira
Geração Automática de Benchmarks para Compilação Preditiva.
SBLP
(2022)
Diogo J. Cardoso
,
Luciana Foss
,
André Rauber Du Bois
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.
SBLP
(2022)
Nelson Gregório
,
João Paulo Fernandes
,
João Bispo
,
Sérgio Medeiros
E-APK: Energy Pattern Detection in Decompiled Android Applications.
SBLP
(2022)
Dinei A. Rockenbach
,
Júnior Löff
,
Gabriell Alves de Araujo
,
Dalvan Griebler
,
Luiz Gustavo Fernandes
High-Level Stream and Data Parallelism in C++ for GPUs.
SBLP
(2022)
Ariel Agne Da Silveira
,
Rodrigo Ribeiro
,
Miguel Alfredo Nunes
,
Paulo Torrens
,
Karina Girardi Roggia
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.
SBLP
(2022)
Anna Leticia Alegria
,
Roberto Ierusalimschy
,
Noemi de La Rocque Rodriguez
EventManager - a tool to help students analyse concurrent programs.
SBLP
(2022)
Elton Maximo Cardoso
,
Daniel Freitas Pereira
,
Regina Sarah Monferrari Amorim De Paula
,
Leonardo Vieira dos Santos Reis
,
Rodrigo Geraldo Ribeiro
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars.
SBLP
(2022)
2021
Nilton Luiz Queiroz Junior
,
Anderson Faustino da Silva
A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction.
SBLP
(2021)
Junior Loff
,
Renato B. Hoffmann
,
Dalvan Griebler
,
Luiz Gustavo Fernandes
High-Level Stream and Data Parallelism in C++ for Multi-Cores.
SBLP
(2021)
José Duarte
,
António Ravara
Retrofitting Typestates into Rust.
SBLP
(2021)
Hugo Musso Gualandi
,
Roberto Ierusalimschy
A Surprisingly Simple Lua Compiler.
SBLP
(2021)
Diogo J. Cardoso
,
Luciana Foss
,
André Rauber Du Bois
A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
SBLP
(2021)
Francisco Freitas
,
André Ferreira
,
Jácome Cunha
Refactoring Java Monoliths into Executable Microservice-Based Applications.
SBLP
(2021)
Anderson Faustino
Graphs based on IR as Representation of Code: Types and Insights.
SBLP
(2021)
Thaís Damásio
,
Vinícius Pacheco
,
Fabrício Goes
,
Fernando Pereira
,
Rodrigo Rocha
Inlining for Code Size Reduction.
SBLP
(2021)
Andre D. Jardim
,
Kevin Oliveira
,
Diogo J. Cardoso
,
Daniel Di Domenico
,
André Rauber Du Bois
,
Gerson G. H. Cavalheiro
An extension for Transactional Memory in OpenMP.
SBLP
(2021)
Vinícius Julião
,
Alexander Holmquist
,
Flávio Lúcio
,
Celso Simões
,
Fernando Pereira
Hapi: A Domain-Specific Language for the Declaration of Access Policies.
SBLP
(2021)
Luiz Felipe Kraus
,
Bruno Schafaschek
,
Rodrigo Geraldo Ribeiro
,
Samuel da Silva Feitosa
Synthesis of Random Real-World Java Programs from Preexisting Libraries.
SBLP
(2021)
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021
SBLP
(2021)
Anderson Faustino da Silva
,
Edson Borin
,
Fernando Magno Quintão Pereira
,
Otávio Oliveira Napoli
,
Vanderson Martins do Rosário
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure.
SBLP
(2021)
Leonardo Kaplan
,
Roberto Ierusalimschy
Evaluating Optimizations for a High-Level Language.
SBLP
(2021)
Gabriela Araujo Britto
,
Leopoldo Teixeira
,
Rohit Gheyi
TSDolly: A program generator for TypeScript.
SBLP
(2021)
2020
Ciro M. Medeiros
,
Martin A. Musicante
,
Umberto Souza da Costa
An Algorithm for Context-Free Path Queries over Graph Databases.
SBLP
(2020)
Santiago Arranz Olmos
,
Martín Fernández
,
Matías Steinberg
,
Alejandro Gadea
,
Emmanuel Gunther
,
Miguel Pagano
A formalisation of LEGv8 in Agda.
SBLP
(2020)
Felipe Sasdelli
,
Maycon Amaro
,
Elton M. Cardoso
,
Samuel da Silva Feitosa
,
Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.
SBLP
(2020)
Mauricio Cassola
,
Agustín Talagorria
,
Alberto Pardo
,
Marcos Viera
A Gradual Type System for Elixir.
SBLP
(2020)
Renato B. Hoffmann
,
Dalvan Griebler
,
Marco Danelutto
,
Luiz Gustavo Fernandes
Stream Parallelism Annotations for Multi-Core Frameworks.
SBLP
(2020)
Bruno Sofiato
,
Fábio Levy Siqueira
,
Ricardo Luis de Azevedo da Rocha
Towards an order-aware object comparison.
SBLP
(2020)
André Felipe Zanella
,
Anderson Faustino da Silva
,
Fernando Magno Quintão Pereira
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences.
SBLP
(2020)
Samuel da Silva Feitosa
,
Rodrigo Geraldo Ribeiro
An Intrinsically-Typed Solution for the List-Machine Benchmark.
SBLP
(2020)
SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020
SBLP
(2020)
Rafael Castro G. Silva
,
Cristiano D. Vasconcellos
,
Karina Girardi Roggia
Monadic W in Coq.
SBLP
(2020)
2019
Breno Campos Ferreira Guimarães
,
José Wesley de S. Magalhães
,
Anderson Faustino da Silva
,
Fernando M. Q. Pereira
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories.
SBLP
(2019)
Rodrigo Geraldo Ribeiro
,
Leonardo Vieira dos Santos Reis
,
Samuel da Silva Feitosa
,
Elton M. Cardoso
Towards Typed Semantics for Parsing Expression Grammars.
SBLP
(2019)