Rodrigo Geraldo Ribeiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2025
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CGO | Honey Potion: An eBPF Backend for Elixir. | Kael Soares Augusto, Vincius Pacheco, Marcos A. M. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quinto Pereira |
| 2024 | ITP | Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. | Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani |
| 2023 | SAC | 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 |
| 2022 | HASKELL | Open transactional actions: interacting with non-transactional resources in STM Haskell. | Jonathas Augusto de Oliveira Conceio, Andr Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro |
| 2019 | SAC | 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 |