Publications

Publications in International Conferences

  1. Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup. Open and Efficient Type Switch for C++. In OOPSLA 2012. Tucson (Arizona), USA; October 2012; ACM Press.
  2. Gabriel Dos Reis. A System for Axiomatic Programming. In proceedings of the 2012 Conferences on Intelligent Computer Mathematics. Bremen, German; July 2012; Springer.
  3. Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy. A Mechanized Semantics for C++ Object Construction and Destruction with Applications to Resource Management. In 39th Symposium on Principles of Programming Languages 2012. Philadelphia (Pennsylvania), USA; January 2012.
  4. Gabriel Dos Reis, David Matthews, Yue Li. Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. In International Conference on Intelligent and Computer Mathematics (MKM/Calculus 2011). Bertinoro (Forli), Italy; July 2011.
  5. Erik Katzen, Gabriel Dos Reis. Practical Support for Structured Generic Programming with Automated Deduction. In CICM 2011 (Calculus Work-in-Progress track). Bertinoro (Forli), Italy; July 2011.
  6. Yue Li, Gabriel Dos Reis. An Automatic Parallelization Framework for Algebraic Computation Systems. In International Symposium on Symbolic and Algebraic Computation 2011. San Jose (California), USA; June 2011.
  7. Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy. Formal Verification of Object Layout for C++ Multiple Inheritance. In 38th Symposium on Principles of Programming Languages 2011; pages 67-79, ACM Press. Austin (Texas), USA; January 2011.
  8. Yue Li, Gabriel Dos Reis. A Quantitative Study of Reductions in Algebraic Libraries. In International Workshop on Parallel and Symbolic Computation (PASCO 2010). Grenoble, France; July 2010.
  9. Gabriel Dos Reis, Bjarne Stroustrup. General Constant Expressions for System Programming Languages. In Symposium on Applied Computing 2010; pages 2131-2136, ACM Press. Sierre, Switzerland; March 2010.
  10. Gabriel Dos Reis, Bjarne Stroustrup. A Principled, Complete, and Efficient Representation of C++. In International Conference on Mathematical Aspects of Computer and Information Sciences 2009. Fukuoka, Japan; December 2009.
  11. Gabriel Dos Reis. Exact Numerics in Categorial Framework. In 13th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN 2008). El Paso (Texas), USA; September 2008.
  12. Jacob Smith, Gabriel Dos Reis, Jaakko Järvi. Algorithmic Differentiation in Axiom. In International Symposium on Symbolic and Algebraic Computation 2007, pages 347-
  13. Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine. Concepts: Linguistic Support for Generic Programming in C++. In International Conference on Object-Oriented Programming Systems, and Languages (OOPSLA 2006). Portland (Oregon), USA; October 2006.
  14. Gabriel Dos Reis, Bjarne Stroustrup. Specifying C++ Concepts. In International Symposium on Principles of Programming Languages (POPL 2006). Charleston (South Carolina), USA; January 2006.
  15. Bjarne Stroustrup, Gabriel Dos Reis. Supporting SELL for High-Performance Computing. In International Workshop on Languages and Compilers for Parallel Computing (LCPC 2005). Hawthorne (New York), USA; October 2005.
  16. Gabriel Dos Reis, Jaakko Järvi. What is Generic Programming? In Proceedings of the First International Workshop of Library-Centric Software Design (LCSD '05). An OOPSLA 2005 workshop. San Diego (California), USA; October 2005. Note: As technical report 06-12 of Rensselaer Polytechnic Institute, Computer Science Department.
  17. Gabriel Dos Reis. Algorithmic and Geometry of CMC surfaces. In International Symposium on Effective Methods in Algebraic Geometry (MEGA 2003). Kaiserslautern, Germany; June 2003.
  18. Gabriel Dos Reis, Bernard Mourrain, Fabrice Rouiller, Philippe Trebuchet. An Environment for Symbolic and Numeric Computation. In International Congress on Mathematical Software (ICMS 2002). Beijing, China; 2002.

Articles in Journals or Book Chapters

  1. Gabriel Dos Reis, Bjarne Stroustrup. A Principled, Complete, and Efficient Representation of C++. In Mathematics in Computer Science. In print.
  2. Gabriel Dos Reis. Asymptotics of CMC surfaces with polynomial Hopf differential. Calculus of Variations, 19:257-267, 2004.

Publications or Presentations at Other International Events

  1. Gabriel Dos Reis. The OpenAxiom Computation Platform. In ISSAC 2008 Workshop on Axiom/Aldor. Hagenberg, Austria; July 2008.
  2. Yixin Cao, Gabriel Dos Reis. Computing With Unknowns in Computer Algebra. In International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2008). Brimingham, United Kingdom; July 2008.
  3. Gabriel Dos Reis. Compact Type Representation for C++. In Dagstuhl Seminar on Verifying Optimizing Compilers. Dagstuhl, Germany; August 2005.
  4. Gabriel Dos Reis. Application of Loop Groups to Constant Mean Curvature Surfaces. In Special Year on Asymptotic Group Invariants and their Applications. College Station (Texas), USA; 2005.
  5. Bjarne Stroustrup, Gabriel Dos Reis. The Pivot – A Brief Overview. In Workshop on Patterns in High Performance Computing. Urbana-Champaign (Illinois), USA; May 2005.
  6. Gabriel Dos Reis, Bjarne Stroustrup. High Level Program Representation for HPC. In Workshop on Patterns in High Performance Computing. Urbana-Champaign (Illinois), USA; May 2005.
  7. Bjarne Stroustrup, Gabriel Dos Reis. The Pivot Framework: Design and Implementation. In Workshop on Domain-Specific Languages for Numerical Optimization. Argone (Illinois), USA; August 2004.
  8. Gabriel Dos Reis. Concepts: A Look at Type-theoretic and Category-theoretic based designs and implementations. In Adobe Technical Summit on Concepts. San Jose (California), USA; April 2004.

ISO C++ Standards Technical Reports

  1. Benjamin Kosnik, Gabriel Dos Reis: Constexpr Library Addition: Complex; November 2010. Approved.
  2. Jason Merrill, Daniel Krügler, Howard Hinnant, Gabriel Dos Reis: Adjustments to constructor and assignment traits; October 2010. Approved.
  3. Bjarne Stroustrup, Alisdair Meredith, Gabriel Dos Reis: Constexpr functions with const reference parameters (a summary); February 2010. Approved.
  4. Gabriel Dos Reis: Gaussian Integers in the Standard Library; October 2010.
  5. Gabriel Dos Reis, Bjarne Stroustrup, Alisdair Meredith: Axioms: Semantics Aspects of C++ Concepts; June 2009. Approved. Removed-with-C++0x-concepts.
  6. Gabriel Dos Reis, Bjarne Stroustrup: Initializer Lists for Standard Containers – Rev 1; June 2008. Approved.
  7. Gabriel Dos Reis: Proposed Resolution for Valarray Constructors; May 2008. Aproved.
  8. J.S. Adamczyk, Gabriel Dos Reis, Bjarne Stroustrup: Initializer lists WP wording; February 2008. Approved.
  9. Gabriel Dos Reis, Bjarne Stroutrup, Jens Maurer: Generalized Constant Expression – Rev. 5; April 2007. Approved.
  10. Bjarne Stroustrup, Gabriel Dos Reis: Initializer list – Rev 3; March 2007.
  11. Gabriel Dos Reis, Bjarne Stroustrup: Constant Expression in the Standard Library; March 2007. Approved.
  12. Gabriel Dos Reis, Bjarne Stroustrup: Initializer Lists for Standard Containers; March 2007.
  13. Bjarne Stroustrup, Gabriel Dos Reis: An analysis of concept intersection; March 2007.
  14. Gabriel Dos Reis, Bjarne Stroustrup: Template Aliases; November 2006. Approved.
  15. Jaakko Jävi, Bjarne Stroustrup, Gabriel Dos Reis: Decltype (revision 6); proposed wording; November 2006. Approved.
  16. Gabriel Dos Reis, Bjarne Stroustrup: Generalized Constant Expressions – Revision 2; June 2006.
  17. Jaakko Järvi, Bjarne Stroustrup, Gabriel Dos Reis: Decltype (revision 5); April 2006.
  18. Gabriel Dos Reis, Bjarne Stroustrup: Generalized Constant Expressions – Revision 3; April 2006.
  19. Bjarne Stroustrup, Gabriel Dos Reis: Initializer list; December 2005.
  20. Gabriel Dos Reis, Bjarne Stroustrup: A formalism for C++; October 2005.
  21. Gabriel Dos Reis, Bjarne Stroustrup: Specifying C++ Concepts; October 2005.
  22. Bjarne Stroustrup, Gabriel Dos Reis: Initialization and initializers; October 2005.
  23. Jaakko Järvi, Bjarne Stroustrup, Gabriel Dos Reis: Deducing the type of a variable from its initializer expression; October 2005. Approved.
  24. Bjarne Stroustrup, Gabriel Dos Reis: A concept design (rev. 1); April 2005.
  25. Bjarne Stroustrup, Gabriel Dos Reis: Concepts – Design choices for template argument checking; October 2003.
  26. Bjarne Stroustrup, Gabriel Dos Reis: Concepts – syntax and composition; October 2003.
  27. Gabriel Dos Reis: Generalized Constant Expressions; September 2003.
  28. Bjarne Stroustrup, Gabriel Dos Reis: Template aliases for C++; September 2003.
  29. Gabriel Dos Reis, Bjarne Stroustrup: Generalized Initializer Lists; September 2003.
  30. Mat Marcus, Gabriel Dos Reis: Controlling Implicit Instantiations; April 2003. Approved.
  31. Gabriel Dos Reis, Mat Marcus: A Proposal to Add Template Aliases to C++
  32. Gabriel Dos Reis: Enhancing Numerical Support; October 2002. Approved.
  33. Gabriel Dos Reis: Fixing valarray for Real-World Use; April 2000. Approved.