Follow
RODRIGO GERALDO RIBEIRO
RODRIGO GERALDO RIBEIRO
Universidade Federal de Ouro Preto
Verified email at ufop.edu.br
Title
Cited by
Cited by
Year
Inference of static semantics for incomplete C programs
LTC Melo, RG Ribeiro, MR de Araújo, FMQ Pereira
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
252017
Type inference for c: Applications to the static analysis of incomplete programs
LTC Melo, RG Ribeiro, BCF Guimarães, FMQ Pereira
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-71, 2020
122020
Certified bit-coded regular expression parsing
R Ribeiro, AD Bois
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
112017
Certified derivative-based parsing of regular expressions
R Lopes, R Ribeiro, C Camarão
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016
112016
A mechanized textbook proof of a type unification algorithm
R Ribeiro, C Camarão
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016
72016
A type-directed algorithm to generate random well-typed Java 8 programs
S Feitosa, R Ribeiro, A Du Bois
Science of Computer Programming 196, 102494, 2020
62020
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
S da Silva Feitosa, RG Ribeiro, AR Du Bois
Electronic Notes in Theoretical Computer Science 342, 3-20, 2019
42019
Type inference for GADTs and anti-unification
A Gelain, C Vasconcellos, C Camarão, R Ribeiro
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte …, 2015
42015
A Solution to Haskell’s Multi-Parameter Type Class Dilemma
C Camarao, R Ribeiro, L Figueiredo, C Vasconcellos
Proc. of the 13th Brazilian Symposium on Programming Languages (SBLP’2009), 5-18, 2009
42009
Towards Typed Semantics for Parsing Expression Grammars
R Ribeiro, LVS Reis, S Feitosa, EM Cardoso
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 70-77, 2019
32019
HMusic: A domain specific language for music programming and live coding.
AR Du Bois, RG Ribeiro
NIME, 381-386, 2019
32019
Ambiguity and context-dependent overloading
R Ribeiro, C Camarão
Journal of the Brazilian Computer Society 19, 313-324, 2013
32013
The design of a verified derivative-based parsing tool for regular expressions
E Cardoso, M Amaro, S Feitosa, L Reis, A Du Bois, R Ribeiro
CLEI Electronic Journal 24 (3), 2: 1-2: 14, 2021
22021
An intrinsically-typed solution for the list-machine benchmark
S Feitosa, R Ribeiro
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020
22020
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
SS Feitosa, RG Ribeiro, A Rauber Du Bois
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018
22018
A domain specific language for drum beat programming
AR Du Bois, RG Ribeiro
Proceedings of the Brazilian Symposium on Computer Music, 2017
22017
Ambiguity and constrained polymorphism
C Camarao, L Figueiredo, R Ribeiro
Science of Computer Programming 124, 1-19, 2016
22016
Compilacao Parcial de Programas Escritos em C
RG Ribeiro, LTC Melo, MR de Araujo, FMQ Pereira
SBLP, 2016
22016
Optional Type Classes for Haskell
R Ribeiro, C Camarao, L Figueiredo, C Vasconcellos
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016
22016
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
R Ribeiro, C Camarão, L Figueiredo
Journal of the Brazilian Computer Society 19, 423-432, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20