In person
In 2023, the 14th edition of CBSoft will once again be held in person, from September 25th to 29th on Campo Grande, Mato Grosso do Sul👉 Map

Brazilian Symposium on Programming Languages

Artigos Aceitos

Full Papers
A Class of Programs that Admit Exact Complexity Analysis via Newton’s Polynomial InterpolationAuthor(s): Rafael Sumitani (Universidade Federal de Minas Gerais - Brazil), Lucas Silva (Universidade Federal de Minas Gerais - Brazil), Frederico Campos (Universidade Federal de Minas Gerais - Brazil) and Fernando Pereira (Universidade Federal de Minas Gerais - Brazil)
A Component Model for Multilevel Parallel ProgrammingAuthor(s): Francisco Heron de Carvalho Junior (Universidade Federal do Ceará - Brazil) and Tiago Pessoa (IMEC, ExaScience: HPC software lab - Belgium)
A Haskell Library for Adaptable Parsing Expression GrammarsAuthor(s): Elton Máximo Cardoso (Universidade Federal de Ouro Preto - Brazil), Rodrigo Ribeiro (Universidade Federal de Ouro Preto - Brazil) and Leonardo Reis (Universidade Federal de Juiz de Fora - Brazil)
A Verified Operational Semantics for Regular Expression ParsingAuthor(s): Elton Máximo Cardoso Rodrigo Ribeiro (Universidade Federal de Ouro Preto - Brazil), Leonardo Reis (Universidade Federal de Juiz de Fora - Brazil) and Rodrigo Ribeiro Rodrigo Ribeiro (Universidade Federal de Ouro Preto - Brazil)
Análise comparativa entre linguagens de programação em sistemas embarcados móveis AndroidAuthor(s): Ricardo Filho (Universidade Federal do Amazonas - Brazil), Fernando Neder (Universidade Federal do Amazonas - Brazil), Jônatas Azevedo (Universidade Federal do Amazonas - Brazil), Larissa Pessoa (Universidade Federal do Amazonas - Brazil), Rosiane de Freitas (Universidade Federal do Amazonas - Brazil) and Raimundo Barreto (Universidade Federal do Amazonas - Brazil)
Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest SiteAuthor(s): Sérgio Medeiros (Universidade Federal do Rio Grande do Norte - Brazil), Marcelo Nogueira (Universidade Federal do Rio Grande do Norte - Brazil) and Gustavo Magalhães (Universidade Federal do Rio Grande do Norte - Brazil)
GPotion: An embedded DSL for GPU programming in ElixirAuthor(s): Andre Rauber Du Bois (Universidade Federal de Pelotas - Brazil) and Gerson Cavalheiro (Universidade Federal de Pelotas - Brazil)
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de ExemplosAuthor(s): Alexander Holmquist (Universidade Federal de Minas Gerais - Brazil), Vitor Emanuel (Universidade Federal de Minas Gerais - Brazil) and Fernando Pereira (Universidade Federal de Minas Gerais - Brazil)
Obstruction-Free Distributed Transactional MemoryAuthor(s): Jerônimo Ramos (Universidade Federal de Pelotas - Brazil), Andre Rauber Du Bois (Universidade Federal de Pelotas - Brazil) and Gerson Cavalheiro (Universidade Federal de Pelotas - Brazil)
Source-to-Source Code Transformation on Rust for High-Level Stream ParallelismAuthor(s): Leonardo G. Faé (Pontifícia Universidade Católica do Rio Grande do Sul - Brazil), Renato B. Hoffmann (Pontifícia Universidade Católica do Rio Grande do Sul - Brazil) and Dalvan Griebler (Pontifícia Universidade Católica do Rio Grande do Sul - Brazil)
Uma DSL para gerar APIs RESTFul em HaskellAuthor(s): Nataniel Siebeneichler (Universidade Federal da Fronteira Sul - Brazil), Felipe Grando (Universidade Federal da Fronteira Sul - Brazil), Giancarlo Salton (Universidade Federal da Fronteira Sul - Brazil) and Samuel Feitosa (Universidade Federal da Fronteira Sul - Brazil)
Usando Esquema GraphQL para Geração de Consultas de Forma AleatóriaAuthor(s): Natanael Henrik Zago (Universidade Federal da Fronteira Sul - Brazil), Andrei de A. S. Braga (Universidade Federal da Fronteira Sul - Brazil), Braulio Adriano de Mello (Universidade Federal da Fronteira Sul - Brazil) and Samuel da Silva Feitosa (Universidade Federal da Fronteira Sul - Brazil)