default search action
Rodrigo Geraldo Ribeiro
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani:
Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. ITP 2024: 34:1-34:18 - [i1]Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani:
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR abs/2402.03488 (2024) - 2023
- [c24]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: 1372-1379 - [c23]Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano:
A Haskell Library for Adaptable Parsing Expression Grammars. SBLP 2023: 73-81 - [c22]Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro:
A Verified Operational Semantics for Regular Expression Parsing. SBLP 2023: 82-90 - 2022
- [j12]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
An intrinsically-typed solution for the list-machine benchmark. J. Comput. Lang. 68: 101085 (2022) - [c21]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: 54-65 - [c20]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: 8-14 - [c19]Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. SBMF 2022: 39-54 - 2021
- [j11]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) - [j10]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) - [c18]Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa:
Synthesis of Random Real-World Java Programs from Preexisting Libraries. SBLP 2021: 108-115 - 2020
- [j9]André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro:
A Mechanized Proof of a Textbook Type Unification Algorithm. RITA 27(3): 13-24 (2020) - [j8]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: 102494 (2020) - [j7]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): 15:1-15:71 (2020) - [c17]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
An Intrinsically-Typed Solution for the List-Machine Benchmark. SBLP 2020: 1-8 - [c16]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: 9-16
2010 – 2019
- 2019
- [c15]André Rauber Du Bois, Rodrigo Geraldo Ribeiro:
HMusic: A domain specific language for music programming and live coding. NIME 2019: 381-386 - [c14]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: 1518-1525 - [c13]Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
An Inherently-Typed Formalization for Featherweight Java. SBLP 2019: 11-18 - [c12]Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso:
Towards Typed Semantics for Parsing Expression Grammars. SBLP 2019: 70-77 - 2018
- [j6]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): 29:1-29:28 (2018) - [j5]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Formal Semantics for Java-like Languages and Research Opportunities. RITA 25(3): 62-74 (2018) - [c11]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Property-based testing for lambda expressions semantics in featherweight Java. SBLP 2018: 43-50 - [c10]Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro:
Type inference for GADTs, outsidein and anti-unification. SBLP 2018: 51-58 - [c9]Thales Antônio Delfino, Rodrigo Geraldo Ribeiro:
Towards certified virtual machine-based regular expression parsing. SBLP 2018: 67-74 - [c8]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF 2018: 39-55 - [c7]Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro:
Transactional Boosting on Glasgow Haskell Compiler. WSCAD 2018: 191-197 - [c6]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. CLEI Selected Papers 2018: 3-20 - 2017
- [c5]Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Certified Bit-Coded Regular Expression Parsing. SBLP 2017: 4:1-4:8 - 2016
- [j4]Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro:
Ambiguity and constrained polymorphism. Sci. Comput. Program. 124: 1-19 (2016) - [c4]Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão:
Certified Derivative-Based Parsing of Regular Expressions. SBLP 2016: 95-109 - [c3]Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos:
Optional Type Classes for Haskell. SBLP 2016: 125-139 - 2015
- [c2]Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro:
Type Inference for GADTs and Anti-unification. SBLP 2015: 16-30 - [c1]Rodrigo Geraldo Ribeiro, Carlos Camarão:
A Mechanized Textbook Proof of a Type Unification Algorithm. SBMF 2015: 127-141 - 2013
- [b1]Rodrigo Geraldo Ribeiro:
Classes de tipos com múltiplos parâmetros e opcionais em haskell. Federal University of Minas Gerais, Brazil, 2013 - [j3]Rodrigo Geraldo Ribeiro, Carlos Camarão:
Ambiguity and context-dependent overloading. J. Braz. Comput. Soc. 19(3): 313-324 (2013) - [j2]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): 423-432 (2013) - [j1]Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão:
Mechanized metatheory for a λ-calculus with trust types. J. Braz. Comput. Soc. 19(4): 433-443 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint