Introdução à Linguagem de Especificação Quint | Esquenta SE4FP 2025 com Gabriela Moreira
Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint.O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025,Além de explorar as bases do Quint, Gabriela compartilha exemplos práticos e referências de estudo.Links citados no episódio:LinkedIn de Gabriela Moreira – Gabriela Moreira - Research Engineer at Informal Systems https://www.linkedin.com/in/bugarela/ GitHub de Gabriela Moreira – https://github.com/bugarela Página de Quint https://quint-lang.org/ GitHub de Quint https://github.com/informalsystems/quint Slides da palestra – https://bit.ly/3HnRqtM SE4FP 2025 – https://se4fp.github.io/2025/ CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ Episódio “21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems” no YouTube – https://youtu.be/_vI8xFxn60A Capítulos00:00 Introdução05:15 Início da Apresentação1:00:54 Perguntas e Respostas
--------
1:45:15
--------
1:45:15
A linguagem de programação funcional Clojure (Esquenta SE4FP) , com Nelkisa Matias
Neste episódio especial do podcast Elixir em Foco, recebemos Nelkisa Matias, Engenheira de Software no Nubank e graduada em Sistemas de Informação pela UNINASSAU, para um bate-papo sobre Clojure — uma linguagem funcional moderna baseada em Lisp, que roda sobre a JVM e também conta com implementações como o Clojerl, para a BEAM. O Clojure é, inclusive, uma das linguagens que inspiraram a criação de Elixir.O episódio faz parte do Esquenta SE4FP (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025. Nelkisa compartilha também o repositório e materiais de sua palestra sobre programação funcional.Links citados no episódio:SE4FP 2025CBSOFT 2025ClojerlLinkedIn de Nelkisa MatiasGitHub de Nelkisa MatiasRepositório da palestraPPGCA – UTFPR CuritibaRede Emílias de PodcastsClojure BrasilSeven Languages in Seven WeeksFunctional Design – Uncle BobProgramming ClojureEpisódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria”YouTubeSpotify
--------
1:30:46
--------
1:30:46
Palestra Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues
Esta foi uma palestra do Esquenta SE4FP, um evento de divulgação do 1st Workshop on Software Engineering for Functional Programming https://se4fp.github.io/2025/. Nesta palestra tivemos a Sofia Rodrigues, que já esteve conosco, junto com Algebraic Gabi, no episódio sobre Lean:No YouTube: https://youtu.be/LaN6XzyCqaoNo Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7aggNo Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoqAlguns links mencionados:https://lean-lang.org/theorem_proving_in_lean4/ https://lean-lang.org/functional_programming_in_lean/ https://t.me/leanlangbr https://softwarefoundations.cis.upenn.edu/ https://www.paultaylor.eu/stable/prot.pdf Quer participar das próximas palestras ao vivo? Inscreva-sem em https://forms.gle/RFZn3gTF6g6DQSdSA
--------
1:21:50
--------
1:21:50
Code Smells e Refatoração em Elixir, com Lucas Vegi (UFV)
Neste episódio conjunto do Fronteiras da Engenharia de Software e do Elixir em Foco, Adolfo Neto e Zoey Pessanha conversaram com Lucas Vegi sobre code smells e refatorações na linguagem de programação Elixir. Lucas é professor na Universidade Federal de Viçosa (UFV), onde coordena o LABD2M, e doutor em Ciência da Computação pela UFMG. Sua tese foi reconhecida como uma das melhores do país pela SBC, e resultou em artigos publicados em conferências e revistas de destaque, como a Empirical Software Engineering e a ICSME.00:00 Destaques 00:15 Abertura Durante a entrevista, Lucas explicou o processo de construção de um catálogo de code smells específicos de Elixir — trabalho que teve como ponto de partida uma revisão da literatura cinzenta e foi influenciado por conversas com membros da comunidade, como José Valim. Ele também falou sobre seu catálogo de refatorações para Elixir, desenvolvido em parceria com Marco Túlio Valente, e discutido anteriormente em episódio do Elixir em Foco com Gabriel Pereira.Além da pesquisa, o episódio abordou a importância da colaboração entre academia e comunidade, os desafios e possibilidades de realizar um doutorado no Brasil, e o papel que os podcasts têm desempenhado em sua trajetória acadêmica.Lucas também falou sobre o 1º Workshop on Software Engineering for Functional Programming (SE4FP 2025), que acontecerá no CBSoft em setembro, e fez um convite para submissões. Por fim, compartilhou sua visão sobre o futuro da engenharia de software e deixou um convite aberto para colaborações em pesquisa e orientação de novos estudantes de pós-graduação.Lucas Vegi: https://www.dpi.ufv.br/prof-lucas-francisco-da-matta-vegi/ArtigosEntendendo refatorações na linguagem funcional Elixir - Understanding refactorings in Elixir functional language (Empirical Software Engineering 2025):https://link.springer.com/article/10.1007/s10664-025-10652-yRumo a um Catálogo de Refatorações para Elixir - Towards a Catalog of Refactorings for Elixir (ICSME 2023):https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10336282Compreendendo Maus Cheiros de Código na Linguagem Funcional Elixir - Understanding Code Smells in Elixir Functional Language (EMSE):https://homepages.dcc.ufmg.br/~mtov/pub/2023-emse-code-smells-elixir.pdfMaus Cheiros de Código em Elixir: Resultados Iniciais de uma Revisão da Literatura Cinzenta - Code Smells in Elixir: Early Results from a Grey Literature Review (ICPC):https://homepages.dcc.ufmg.br/~mtov/pub/2022-icpc-era.pdfTeseCode smells and refactorings for Elixir: https://repositorio.ufmg.br/handle/1843/80651 Eventos e DivulgaçãoCBSOFT 2025:https://adolfont.github.io/events/cbsoft2025SE4FP 2025:https://se4fp.github.io/2025/ICSE 2026:https://adolfont.github.io/events/icse2026Empirical Software Engineering (Springer Journal):https://link.springer.com/journal/10664CALL FOR PAPERS: Special Issue on Advancing Software Engineering with Large Language Models:https://link.springer.com/journal/10664/updates/27735998Code Smells e Refatorações específicos para Elixir, Lucas Vegi (UFV e UFMG):https://youtu.be/klubcNmv4qI?si=Odb-uKgCxTY6TuPxElixir Code Smells com Lucas Vegi (UFV) e Marco Tulio Valente (UFMG):https://youtu.be/dp8zQUadDgQ?si=hwEYuh7BAkDbp5pFLanguage Processing in Erlang - Simon Thompson:https://youtu.be/i9SUR1v1bhY?si=z4Rz290hoI9nzAeYMarcelo Maia no Fronteiras https://youtu.be/H74laSFH54E?si=SCwN-Lfj-Cq0yR37 e https://open.spotify.com/episode/29xmVuayXe3i46JyRQKiH4 Marco Tulio Valente https://open.spotify.com/episode/0B8uqfrmxygPePafrXIiiD Gabriel Pereira https://open.spotify.com/episode/60tcpvx6LZW3hOIAojGLP4 José Valim https://open.spotify.com/episode/7CSQLDnl5LRPT0UE2cvZIF https://fronteirases.github.io/ https://www.elixiremfoco.com/
Elixir em Foco é um podcast em que conversamos com pessoas da comunidade brasileira de desenvolvedores de software sobre a linguagem de programação funcional e concorrente Elixir.
Episódios mensais publicados na primeira quarta-feira do mês.
Brasil