Gabriel Dos Reis

22 papers A* 3A 2B 5Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2015 Misc conf
Meta-programming with well-typed code analysis.
SAC
Michael Lopez, Gabriel Dos Reis
2015 B conf
Safer SDN programming through Arbiter.
GPCE
Michael Lopez, C. Jasson Casey, Gabriel Dos Reis, Colton Chojnacki
2013 J jnl
Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design.
CoRR
C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson
2013 B conf
Eliminating network protocol vulnerabilities through abstraction and systems language design.
ICNP
C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson
2013 B conf
Open pattern matching for C++.
GPCE
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
2013 — conf
Open pattern matching for C++.
SPLASH (Companion Volume)
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
2012 — conf
A System for Axiomatic Programming.
AISC/MKM/Calculemus
Gabriel Dos Reis
2012 A* conf
A mechanized semantics for C++ object construction and destruction, with applications to resource management.
POPL
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
2012 — ed.
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
AISC/MKM/Calculemus
Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
2012 A conf
Open and efficient type switch for C++.
OOPSLA
Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
2011 J jnl
A Principled, Complete, and Efficient Representation of C++.
Math. Comput. Sci.
Gabriel Dos Reis, Bjarne Stroustrup
2011 J jnl
An automatic parallelization framework for OpenAxiom.
ACM Commun. Comput. Algebra
Yue Li, Gabriel Dos Reis
2011 B conf
An automatic parallelization framework for algebraic computation systems.
ISSAC
Yue Li, Gabriel Dos Reis
2011 A* conf
Formal verification of object layout for c++ multiple inheritance.
POPL
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
2011 — conf
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.
Calculemus/MKM
Gabriel Dos Reis, David C. J. Matthews, Yue Li
2010 — conf
A quantitative study of reductions in algebraic libraries.
PASCO
Yue Li, Gabriel Dos Reis
2010 Misc conf
General constant expressions for system programming languages.
SAC
Gabriel Dos Reis, Bjarne Stroustrup
2007 B conf
Algorithmic differentiation in Axiom.
ISSAC
Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi
2006 A conf
Concepts: linguistic support for generic programming in C++.
OOPSLA
Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine
2006 A* conf
Specifying C++ concepts.
POPL
Gabriel Dos Reis, Bjarne Stroustrup
2005 — conf
Supporting SELL for High-Performance Computing.
LCPC
Bjarne Stroustrup, Gabriel Dos Reis