Aluno do PPGCA apresenta artigo sobre a BEAM no SE4FP 2026
Fernando Areias, aluno do Programa de Pós-Graduação em Computação Aplicada (PPGCA) da UTFPR, apresentou seu artigo no 2nd Workshop on Software Engineering for Functional Programming (SE4FP 2026), colocalizado com o Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2026). O SE4FP foi organizado por Adolfo Neto (PPGCA UTFPR), Lucas Vegi (UFV) e Marco Tulio Valente (UFMG). O Comitê de Programa foi coordenado por Maria Claudia Emer (PPGCA UTFPR) e Michel Albonico (University of Southern Denmark e colaborador PPGCA). O CBSoft é o maior evento de Engenharia de Software do Brasil e foi realizado entre os dias 8 e 11 de setembro de 2026, na cidade de São Paulo, SP.
O trabalho, intitulado "Mapeando a BEAM: Um Censo Global de Nós Erlang Expostos na Internet", foi desenvolvido em coautoria com Ana Cristina B. Kochem Vendramin e Adolfo Neto (docentes do PPGCA, respectivamente, orientadora e coorientador). O artigo apresenta um mapeamento da presença da BEAM (a máquina virtual de Erlang) em escala global. Os autores realizaram um levantamento de nós Erlang expostos na Internet, coletando 681.326 endereços IP únicos por meio da API do Shodan para Python. Segundo o trabalho, a China concentra a maior parcela de nós (30,79%), seguida pelos Estados Unidos (20,83%) e pela Alemanha (10,07%).
Fernando avaliou positivamente sua participação no congresso. Segundo ele, o principal ganho foi o contato com outros profissionais da área de engenharia de software para programação funcional e a exposição a trabalhos de qualidade. Ele também ressaltou que as conversas durante o evento ajudaram a dimensionar o potencial da sua pesquisa e a entender como a produção acadêmica acontece por meio de trocas entre pesquisadores. Acesse o artigo completo.
Além deste artigo, Fernando foi coautor do artigo "Eparch: Máquinas de Estado Estaticamente Tipadas em Gleam", apresentado no SE4FP 2026 por Marcos Benevides, com coautoria também de Adolfo Neto (docente PPGCA). O trabalho apresentou a Eparch, uma biblioteca na linguagem de programação Gleam que fornece um wrapper estaticamente tipado sobre esses módulos, permitindo que transições de estado e tratamento de mensagens sejam verificados pelo compilador. A biblioteca utiliza Tipos de Dados Algébricos e pattern matching exaustivo para modelar estados, eventos e transições, adotando o padrão Builder funcional para oferecer uma API declarativa e composicional. Acesse o artigo completo.
Os anais do evento estão na SOL SBC.
Sobre o CBSOFT 2026
O Congresso Brasileiro de Software: Teoria e Prática (CBSoft) é um evento realizado anualmente pela Sociedade Brasileira de Computação (SBC) desde 2010 como agregador de simpósios brasileiros na área de software. O CBSoft tornou-se um dos principais eventos da comunidade científica brasileira na área de computação.
Em 2026, a XVII edição do CBSoft foi realizada presencialmente, de 8 a 11 de setembro de 2026 no Instituto de Matemática, Estatística e Ciência da Computação (IME-USP). A programação do CBSoft incluiu sessões técnicas com apresentações de artigos científicos, palestras proferidas por pesquisadores brasileiros e estrangeiros de renome nacional e internacional, painéis de discussão, workshops, e demonstrações de ferramentas. Todas essas diversas atividades de interesse da comunidade de Engenharia de Software e de áreas relacionadas ao desenvolvimento de sistemas de software direcionaram-se para a difusão do conhecimento e discussão de questões importantes relacionadas à pesquisa, desenvolvimento e inovação, tanto no Brasil quanto no mundo.
