Rodrigo Geraldo Ribeiro

43 papers A 1B 1C 1Misc 2Journal 14Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Haskell Library for Adaptable Parsing Expression Grammars. J. Comput. Lang. Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2025	A	`conf`	Honey Potion: An eBPF Backend for Elixir. CGO Kael Soares Augusto, Vinícius Pacheco, Marcos A. M. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quintão Pereira
2025	—	`conf`	Interpretando Efeitos Algébricos por Meio de Mônadas. SBLP Karla A. de S. Joriatti, Paulo Henrique Torrens, Rodrigo Geraldo Ribeiro, Cristiano Damiani Vasconcellos
2024	—	`conf`	Differential Testing using Random Well-Typed Haskell Programs. SBLP Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2024	J	`jnl`	Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani
2024	B	`conf`	Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. ITP Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani
2023	—	`conf`	A Haskell Library for Adaptable Parsing Expression Grammars. SBLP Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano
2023	—	`conf`	A Verified Operational Semantics for Regular Expression Parsing. SBLP Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2023	Misc	`conf`	Type-based Termination Analysis for Parsing Expression Grammars. SAC Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2022	—	`conf`	A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. SBMF Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2022	—	`conf`	A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. SBLP Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro
2022	J	`jnl`	An intrinsically-typed solution for the list-machine benchmark. J. Comput. Lang. Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2022	C	`conf`	Open transactional actions: interacting with non-transactional resources in STM Haskell. Haskell Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
2021	—	`conf`	Synthesis of Random Real-World Java Programs from Preexisting Libraries. SBLP Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa
2021	J	`jnl`	The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J. Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2021	J	`jnl`	Towards an Extrinsic Formalization of Featherweight Java in Agda. CLEI Electron. J. Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020	J	`jnl`	A Mechanized Proof of a Textbook Type Unification Algorithm. RITA André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro
2020	J	`jnl`	A type-directed algorithm to generate random well-typed Java 8 programs. Sci. Comput. Program. Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020	—	`conf`	An Intrinsically-Typed Solution for the List-Machine Benchmark. SBLP Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2020	—	`conf`	Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. SBLP Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2020	J	`jnl`	Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Trans. Program. Lang. Syst. Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira
2019	—	`conf`	An Inherently-Typed Formalization for Featherweight Java. SBLP Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2019	Misc	`conf`	An attribute language definition for adaptable parsing expression grammars. SAC Elton M. Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Mariza A. S. Bigonha, Roberto S. Bigonha, Vladimir Oliveira Di Iorio
2019	—	`conf`	HMusic: A domain specific language for music programming and live coding. NIME André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2019	—	`conf`	Towards Typed Semantics for Parsing Expression Grammars. SBLP Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
2018	—	`conf`	A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018	J	`jnl`	Formal Semantics for Java-like Languages and Research Opportunities. RITA Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018	—	`conf`	Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. CLEI Selected Papers Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018	J	`jnl`	Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira
2018	—	`conf`	Property-based testing for lambda expressions semantics in featherweight Java. SBLP Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018	—	`conf`	Towards certified virtual machine-based regular expression parsing. SBLP Thales Antônio Delfino, Rodrigo Geraldo Ribeiro
2018	—	`conf`	Transactional Boosting on Glasgow Haskell Compiler. WSCAD Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2018	—	`conf`	Type inference for GADTs, outsidein and anti-unification. SBLP Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro
2017	—	`conf`	Certified Bit-Coded Regular Expression Parsing. SBLP Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2016	J	`jnl`	Ambiguity and constrained polymorphism. Sci. Comput. Program. Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
2016	—	`conf`	Certified Derivative-Based Parsing of Regular Expressions. SBLP Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão
2016	—	`conf`	Optional Type Classes for Haskell. SBLP Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2015	—	`conf`	A Mechanized Textbook Proof of a Type Unification Algorithm. SBMF Rodrigo Geraldo Ribeiro, Carlos Camarão
2015	—	`conf`	Type Inference for GADTs and Anti-unification. SBLP Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
2013	J	`jnl`	Ambiguity and context-dependent overloading. J. Braz. Comput. Soc. Rodrigo Geraldo Ribeiro, Carlos Camarão
2013	—	`—`	Classes de tipos com múltiplos parâmetros e opcionais em haskell. Rodrigo Geraldo Ribeiro
2013	J	`jnl`	Mechanized metatheory for a λ-calculus with trust types. J. Braz. Comput. Soc. Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
2013	J	`jnl`	Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. J. Braz. Comput. Soc. Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo