| 2015 | GPCE | Safer SDN programming through Arbiter. | Michael Lopez, C. Jasson Casey, Gabriel Dos Reis, Colton Chojnacki |
| 2015 | SAC | Meta-programming with well-typed code analysis. | Michael Lopez, Gabriel Dos Reis |
| 2013 | GPCE | Open pattern matching for C++. | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
| 2013 | ICNP | Eliminating network protocol vulnerabilities through abstraction and systems language design. | C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson |
| 2013 | OOPSLA | Open pattern matching for C++. | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
| 2012 | AISC | A System for Axiomatic Programming. | Gabriel Dos Reis |
| 2012 | OOPSLA | Open and efficient type switch for C++. | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
| 2012 | POPL | A mechanized semantics for C++ object construction and destruction, with applications to resource management. | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
| 2011 | ISSAC | An automatic parallelization framework for algebraic computation systems. | Yue Li, Gabriel Dos Reis |
| 2011 | POPL | Formal verification of object layout for c++ multiple inheritance. | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
| 2010 | SAC | General constant expressions for system programming languages. | Gabriel Dos Reis, Bjarne Stroustrup |
| 2007 | ISSAC | Algorithmic differentiation in Axiom. | Jacob N. Smith, Gabriel Dos Reis, Jaakko Jrvi |
| 2006 | OOPSLA | Concepts: linguistic support for generic programming in C++. | Douglas P. Gregor, Jaakko Jrvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
| 2006 | POPL | Specifying C++ concepts. | Gabriel Dos Reis, Bjarne Stroustrup |