Gabriel Dos Reis

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Axiomatic Characterization

Design Criteria

Java Programming

Top Venues

SPLASH (Companion Volume)

Publications

Michael Lopez, C. Jasson Casey, Gabriel Dos Reis, Colton Chojnacki
Safer SDN programming through Arbiter. GPCE (2015)
Michael Lopez, Gabriel Dos Reis
Meta-programming with well-typed code analysis. SAC (2015)
C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson
Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design. CoRR (2013)
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
Open pattern matching for C++. GPCE (2013)
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
Open pattern matching for C++. SPLASH (Companion Volume) (2013)
C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson
Eliminating network protocol vulnerabilities through abstraction and systems language design. ICNP (2013)
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
Open and efficient type switch for C++. OOPSLA (2012)
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
A mechanized semantics for C++ object construction and destruction, with applications to resource management. POPL (2012)
Gabriel Dos Reis
A System for Axiomatic Programming. AISC/MKM/Calculemus (2012)
Gabriel Dos Reis, Bjarne Stroustrup
A Principled, Complete, and Efficient Representation of C++. Math. Comput. Sci. 5 (3) (2011)
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
Formal verification of object layout for c++ multiple inheritance. POPL (2011)
Yue Li, Gabriel Dos Reis
An automatic parallelization framework for OpenAxiom. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Gabriel Dos Reis, David C. J. Matthews, Yue Li
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. Calculemus/MKM (2011)
Yue Li, Gabriel Dos Reis
An automatic parallelization framework for algebraic computation systems. ISSAC (2011)
Gabriel Dos Reis, Bjarne Stroustrup
General constant expressions for system programming languages. SAC (2010)
Yue Li, Gabriel Dos Reis
A quantitative study of reductions in algebraic libraries. PASCO (2010)
Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi
Algorithmic differentiation in Axiom. ISSAC (2007)
Gabriel Dos Reis, Bjarne Stroustrup
Specifying C++ concepts. POPL (2006)
Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine
Concepts: linguistic support for generic programming in C++. OOPSLA (2006)
Bjarne Stroustrup, Gabriel Dos Reis
Supporting SELL for High-Performance Computing. LCPC (2005)