Supporting SELL for High-Performance Computing. - Bjarne Stroustrup; Gabriel Dos Reis (LCPC, 2005)

Concepts: linguistic support for generic programming in C++. - Douglas P. Gregor; Jaakko Järvi; Jeremy G. Siek; Bjarne Stroustrup; Gabriel Dos Reis; Andrew Lumsdaine (OOPSLA, 2006)

Specifying C++ concepts. - Gabriel Dos Reis; Bjarne Stroustrup (POPL, 2006)

Algorithmic differentiation in Axiom. - Jacob N. Smith; Gabriel Dos Reis; Jaakko Järvi (ISSAC, 2007)

A quantitative study of reductions in algebraic libraries. - Yue Li; Gabriel Dos Reis (PASCO, 2010)

General constant expressions for system programming languages. - Gabriel Dos Reis; Bjarne Stroustrup (SAC, 2010)

An automatic parallelization framework for algebraic computation systems. - Yue Li; Gabriel Dos Reis (ISSAC, 2011)

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. - Gabriel Dos Reis; David C. J. Matthews; Yue Li (Calculemus/MKM, 2011)

Formal verification of object layout for c++ multiple inheritance. - Tahina Ramananandro; Gabriel Dos Reis; Xavier Leroy (POPL, 2011)

An automatic parallelization framework for OpenAxiom. - Yue Li; Gabriel Dos Reis (ACM Commun. Comput. Algebra, 2011)

A Principled, Complete, and Efficient Representation of C++. - Gabriel Dos Reis; Bjarne Stroustrup (Math. Comput. Sci., 2011)

A System for Axiomatic Programming. - Gabriel Dos Reis (AISC/MKM/Calculemus, 2012)

Open and efficient type switch for C++. - Yuriy Solodkyy; Gabriel Dos Reis; Bjarne Stroustrup (OOPSLA, 2012)

A mechanized semantics for C++ object construction and destruction, with applications to resource management. - Tahina Ramananandro; Gabriel Dos Reis; Xavier Leroy (POPL, 2012)

Open pattern matching for C++. - Yuriy Solodkyy; Gabriel Dos Reis; Bjarne Stroustrup (GPCE, 2013)

Eliminating network protocol vulnerabilities through abstraction and systems language design. - C. Jasson Casey; Andrew Sutton; Gabriel Dos Reis; Alex Sprintson (ICNP, 2013)

Safer SDN programming through Arbiter. - Michael Lopez; C. Jasson Casey; Gabriel Dos Reis; Colton Chojnacki (GPCE, 2015)

Meta-programming with well-typed code analysis. - Michael Lopez; Gabriel Dos Reis (SAC, 2015)