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 | 25 | 2017 |

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 | 12 | 2020 |

Certified bit-coded regular expression parsing R Ribeiro, AD Bois Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017 | 11 | 2017 |

Certified derivative-based parsing of regular expressions R Lopes, R Ribeiro, C Camarão Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 11 | 2016 |

A mechanized textbook proof of a type unification algorithm R Ribeiro, C Camarão Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016 | 7 | 2016 |

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 | 6 | 2020 |

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 | 4 | 2019 |

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 | 4 | 2015 |

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 | 4 | 2009 |

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 | 3 | 2019 |

HMusic: A domain specific language for music programming and live coding. AR Du Bois, RG Ribeiro NIME, 381-386, 2019 | 3 | 2019 |

Ambiguity and context-dependent overloading R Ribeiro, C Camarão Journal of the Brazilian Computer Society 19, 313-324, 2013 | 3 | 2013 |

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 | 2 | 2021 |

An intrinsically-typed solution for the list-machine benchmark S Feitosa, R Ribeiro Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 2 | 2020 |

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 | 2 | 2018 |

A domain specific language for drum beat programming AR Du Bois, RG Ribeiro Proceedings of the Brazilian Symposium on Computer Music, 2017 | 2 | 2017 |

Ambiguity and constrained polymorphism C Camarao, L Figueiredo, R Ribeiro Science of Computer Programming 124, 1-19, 2016 | 2 | 2016 |

Compilacao Parcial de Programas Escritos em C RG Ribeiro, LTC Melo, MR de Araujo, FMQ Pereira SBLP, 2016 | 2 | 2016 |

Optional Type Classes for Haskell R Ribeiro, C Camarao, L Figueiredo, C Vasconcellos Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 2 | 2016 |

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 | 2 | 2013 |