Ambiguity and context-dependent overloading. - Rodrigo Geraldo Ribeiro; Carlos Camarão 001 (J. Braz. Comput. Soc., 2013)

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. - Rodrigo Geraldo Ribeiro; Carlos Camarão 001; Lucília Figueiredo (J. Braz. Comput. Soc., 2013)

Mechanized metatheory for a λ-calculus with trust types. - Rodrigo Geraldo Ribeiro; Lucília Figueiredo; Carlos Camarão 001 (J. Braz. Comput. Soc., 2013)

Classes de tipos com múltiplos parâmetros e opcionais em haskell. - Rodrigo Geraldo Ribeiro (2013)

Type Inference for GADTs and Anti-unification. - Adelaine Gelain; Cristiano D. Vasconcellos; Carlos Camarão 001; Rodrigo Geraldo Ribeiro (SBLP, 2015)

A Mechanized Textbook Proof of a Type Unification Algorithm. - Rodrigo Geraldo Ribeiro; Carlos Camarão 001 (SBMF, 2015)

Certified Derivative-Based Parsing of Regular Expressions. - Raul Lopes 002; Rodrigo Geraldo Ribeiro; Carlos Camarão 001 (SBLP, 2016)

Optional Type Classes for Haskell. - Rodrigo Geraldo Ribeiro; Carlos Camarão 001; Lucília Figueiredo; Cristiano D. Vasconcellos (SBLP, 2016)

Ambiguity and constrained polymorphism. - Carlos Camarão 001; Lucília Figueiredo; Rodrigo Geraldo Ribeiro (Sci. Comput. Program., 2016)

Certified Bit-Coded Regular Expression Parsing. - Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2017)

Towards certified virtual machine-based regular expression parsing. - Thales Antônio Delfino; Rodrigo Geraldo Ribeiro (SBLP, 2018)

Property-based testing for lambda expressions semantics in featherweight Java. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2018)

Type inference for GADTs, outsidein and anti-unification. - Gabriela Moreira; Cristiano D. Vasconcellos; Rodrigo Geraldo Ribeiro (SBLP, 2018)

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBMF, 2018)

Transactional Boosting on Glasgow Haskell Compiler. - Jonathas Augusto de Oliveira Conceição; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (WSCAD, 2018)

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Selected Papers, 2018)

Inference of static semantics for incomplete C programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Marcus R. de Araújo; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2018)

Formal Semantics for Java-like Languages and Research Opportunities. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (RITA, 2018)

HMusic: A domain specific language for music programming and live coding. - André Rauber Du Bois; Rodrigo Geraldo Ribeiro (NIME, 2019)

An attribute language definition for adaptable parsing expression grammars. - Elton M. Cardoso; Rodrigo Geraldo Ribeiro; Leonardo Vieira dos Santos Reis; Mariza A. S. Bigonha; Roberto S. Bigonha; Vladimir Oliveira Di Iorio (SAC, 2019)

An Inherently-Typed Formalization for Featherweight Java. - Samuel da Silva Feitosa; Alejandro Serrano Mena; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2019)

Towards Typed Semantics for Parsing Expression Grammars. - Rodrigo Geraldo Ribeiro; Leonardo Vieira dos Santos Reis; Samuel da Silva Feitosa; Elton M. Cardoso (SBLP, 2019)

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. - Felipe Sasdelli; Maycon Amaro; Elton M. Cardoso; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBLP, 2020)

A Mechanized Proof of a Textbook Type Unification Algorithm. - André Rauber Du Bois; Rodrigo Geraldo Ribeiro; Maycon Amaro (RITA, 2020)

A type-directed algorithm to generate random well-typed Java 8 programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (Sci. Comput. Program., 2020)

Type Inference for C: Applications to the Static Analysis of Incomplete Programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Breno Campos Ferreira Guimarães; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2020)

Synthesis of Random Real-World Java Programs from Preexisting Libraries. - Luiz Felipe Kraus; Bruno Schafaschek; Rodrigo Geraldo Ribeiro; Samuel da Silva Feitosa (SBLP, 2021)

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. - Elton M. Cardoso; Maycon Amaro; Samuel da Silva Feitosa; Leonardo Vieira dos Santos Reis; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (CLEI Electron. J., 2021)

Towards an Extrinsic Formalization of Featherweight Java in Agda. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Electron. J., 2021)

Open transactional actions: interacting with non-transactional resources in STM Haskell. - Jonathas Augusto de Oliveira Conceição; André Rauber Du Bois; Samuel da Silva Feitosa; Gerson Geraldo Homrich Cavalheiro; Rodrigo Geraldo Ribeiro (Haskell, 2022)

A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. - Elton Maximo Cardoso; Daniel Freitas Pereira; Regina Sarah Monferrari Amorim De Paula; Leonardo Vieira dos Santos Reis; Rodrigo Geraldo Ribeiro (SBLP, 2022)

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. - Maycon Amaro; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBMF, 2022)

An intrinsically-typed solution for the list-machine benchmark. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (J. Comput. Lang., 2022)

Type-based Termination Analysis for Parsing Expression Grammars. - Elton M. Cardoso; Regina Sarah Monferrari Amorim De Paula; Daniel Freitas Pereira; Leonardo Vieira dos Santos Reis; Rodrigo Geraldo Ribeiro (SAC, 2023)

A Verified Operational Semantics for Regular Expression Parsing. - Elton Maximo Cardoso; Leonardo Vieira dos Santos Reis; Rodrigo Geraldo Ribeiro (SBLP, 2023)

A Haskell Library for Adaptable Parsing Expression Grammars. - Elton Maximo Cardoso; Rodrigo Geraldo Ribeiro; Leonardo Vieira dos Santos Reis; Marcos Emiliano (SBLP, 2023)

Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (ITP, 2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (CoRR, 2024)

redex2coq. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (DROPS Artifacts, 2024)

Honey Potion: An eBPF Backend for Elixir. - Kael Soares Augusto; Vinícius Pacheco; Marcos A. M. Vieira; Rodrigo Geraldo Ribeiro; Fernando Magno Quintão Pereira (CGO, 2025)