Rodrigo Geraldo Ribeiro

According to our database, Rodrigo Geraldo Ribeiro authored at least 39 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

redex2coq.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

Dataset, November, 2024

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

CoRR, 2024

Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

A Haskell Library for Adaptable Parsing Expression Grammars.

Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

A Verified Operational Semantics for Regular Expression Parsing.

Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

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

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

An intrinsically-typed solution for the list-machine benchmark.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

J. Comput. Lang., 2022

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.

Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 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

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

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

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

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

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

Synthesis of Random Real-World Java Programs from Preexisting Libraries.

Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

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

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

A Mechanized Proof of a Textbook Type Unification Algorithm.

André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro

RITA, 2020

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2019

Towards Typed Semantics for Parsing Expression Grammars.

Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

An Inherently-Typed Formalization for Featherweight Java.

Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 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

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

HMusic: A domain specific language for music programming and live coding.

André Rauber Du Bois, Rodrigo Geraldo Ribeiro

Proceedings of the 19th International Conference on New Interfaces for Musical Expression, 2019

2018

Formal Semantics for Java-like Languages and Research Opportunities.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

RITA, 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

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XLIV Latin American Computer Conference - Selected Papers, 2018

Transactional Boosting on Glasgow Haskell Compiler.

Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro

Proceedings of the Symposium on High Performance Computing Systems, 2018

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Type inference for GADTs, outsidein and anti-unification.

Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Property-based testing for lambda expressions semantics in featherweight Java.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Towards certified virtual machine-based regular expression parsing.

Thales Antônio Delfino, Rodrigo Geraldo Ribeiro

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

2017

Certified Bit-Coded Regular Expression Parsing.

Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

2016

Ambiguity and constrained polymorphism.

Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro

Sci. Comput. Program., 2016

Optional Type Classes for Haskell.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Certified Derivative-Based Parsing of Regular Expressions.

Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

A Mechanized Textbook Proof of a Type Unification Algorithm.

Rodrigo Geraldo Ribeiro, Carlos Camarão

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Type Inference for GADTs and Anti-unification.

Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro

Proceedings of the Programming Languages, 2015

2013

Classes de tipos com múltiplos parâmetros e opcionais em haskell.

Rodrigo Geraldo Ribeiro

PhD thesis, 2013

Mechanized metatheory for a λ-calculus with trust types.

Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão

J. Braz. Comput. Soc., 2013

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo

J. Braz. Comput. Soc., 2013

Ambiguity and context-dependent overloading.

Rodrigo Geraldo Ribeiro, Carlos Camarão

J. Braz. Comput. Soc., 2013