Rodrigo Geraldo Ribeiro

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 33

Top Venues

SBLP

J. Braz. Comput. Soc.

SBMF

SAC

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

Publications

Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
Type-based Termination Analysis for Parsing Expression Grammars. SAC (2023)
Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
A Verified Operational Semantics for Regular Expression Parsing. SBLP (2023)
Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano
A Haskell Library for Adaptable Parsing Expression Grammars. SBLP (2023)
Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. SBMF (2022)
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
Open transactional actions: interacting with non-transactional resources in STM Haskell. Haskell (2022)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
An intrinsically-typed solution for the list-machine benchmark. J. Comput. Lang. 68 (2022)
Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. SBLP (2022)
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J. 24 (3) (2021)
Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa
Synthesis of Random Real-World Java Programs from Preexisting Libraries. SBLP (2021)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Towards an Extrinsic Formalization of Featherweight Java in Agda. CLEI Electron. J. 24 (3) (2021)
André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro
A Mechanized Proof of a Textbook Type Unification Algorithm. RITA 27 (3) (2020)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
An Intrinsically-Typed Solution for the List-Machine Benchmark. SBLP (2020)
Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. SBLP (2020)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
A type-directed algorithm to generate random well-typed Java 8 programs. Sci. Comput. Program. 196 (2020)
Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
An Inherently-Typed Formalization for Featherweight Java. SBLP (2019)
Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
Towards Typed Semantics for Parsing Expression Grammars. SBLP (2019)
Elton M. Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Mariza A. S. Bigonha, Roberto S. Bigonha, Vladimir Oliveira Di Iorio
An attribute language definition for adaptable parsing expression grammars. SAC (2019)
André Rauber Du Bois, Rodrigo Geraldo Ribeiro
HMusic: A domain specific language for music programming and live coding. NIME (2019)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. CLEI Selected Papers (2018)
Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro
Type inference for GADTs, outsidein and anti-unification. SBLP (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Formal Semantics for Java-like Languages and Research Opportunities. RITA 25 (3) (2018)
Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira
Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Thales Antônio Delfino, Rodrigo Geraldo Ribeiro
Towards certified virtual machine-based regular expression parsing. SBLP (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Property-based testing for lambda expressions semantics in featherweight Java. SBLP (2018)
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
Transactional Boosting on Glasgow Haskell Compiler. WSCAD (2018)
Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Certified Bit-Coded Regular Expression Parsing. SBLP (2017)
Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão
Certified Derivative-Based Parsing of Regular Expressions. SBLP (2016)
Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
Ambiguity and constrained polymorphism. Sci. Comput. Program. 124 (2016)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Optional Type Classes for Haskell. SBLP (2016)
Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
Type Inference for GADTs and Anti-unification. SBLP (2015)
Rodrigo Geraldo Ribeiro, Carlos Camarão
A Mechanized Textbook Proof of a Type Unification Algorithm. SBMF (2015)
Rodrigo Geraldo Ribeiro, Carlos Camarão
Ambiguity and context-dependent overloading. J. Braz. Comput. Soc. 19 (3) (2013)
Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
Mechanized metatheory for a λ-calculus with trust types. J. Braz. Comput. Soc. 19 (4) (2013)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. J. Braz. Comput. Soc. 19 (4) (2013)

Rodrigo Geraldo Ribeiro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rodrigo Geraldo Ribeiro