Presencial
Em 2023, a 14ª edição do CBSoft voltará a ser realizada presencialmente, de 25 a 29 de setembro em Campo Grande, Mato Grosso do Sul.👉 Mapa

Simpósio Brasileiro de Linguagens de Programação

Artigos Aceitos

Artigos Completos
A Class of Programs that Admit Exact Complexity Analysis via Newton’s Polynomial InterpolationAutor(es): 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 ProgrammingAutor(es): 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 GrammarsAutor(es): 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 ParsingAutor(es): 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 AndroidAutor(es): 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 SiteAutor(es): 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 ElixirAutor(es): 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 ExemplosAutor(es): 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 MemoryAutor(es): 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 ParallelismAutor(es): 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 HaskellAutor(es): 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óriaAutor(es): 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)