Gabriel Dos Reis

According to our database, Gabriel Dos Reis authored at least 18 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Meta-programming with well-typed code analysis.

Michael Lopez, Gabriel Dos Reis

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Safer SDN programming through Arbiter.

Michael Lopez, C. Jasson Casey, Gabriel Dos Reis, Colton Chojnacki

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2013

Eliminating network protocol vulnerabilities through abstraction and systems language design.

C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Open pattern matching for C++.

Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

A mechanized semantics for C++ object construction and destruction, with applications to resource management.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Open and efficient type switch for C++.

Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A System for Axiomatic Programming.

Gabriel Dos Reis

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

A Principled, Complete, and Efficient Representation of C++.

Gabriel Dos Reis, Bjarne Stroustrup

Math. Comput. Sci., 2011

An automatic parallelization framework for OpenAxiom.

Yue Li, Gabriel Dos Reis

ACM Commun. Comput. Algebra, 2011

Formal verification of object layout for c++ multiple inheritance.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

An automatic parallelization framework for algebraic computation systems.

Yue Li, Gabriel Dos Reis

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

General constant expressions for system programming languages.

Gabriel Dos Reis, Bjarne Stroustrup

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A quantitative study of reductions in algebraic libraries.

Yue Li, Gabriel Dos Reis

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2007

Algorithmic differentiation in Axiom.

Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

2006

Specifying C++ concepts.

Gabriel Dos Reis, Bjarne Stroustrup

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Concepts: linguistic support for generic programming in C++.

Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Supporting SELL for High-Performance Computing.

Bjarne Stroustrup, Gabriel Dos Reis

Proceedings of the Languages and Compilers for Parallel Computing, 2005