Gabriel Dos Reis

Research Interests

  • Software systems and tools
  • Programming methodologies
  • Tools and applications of formal methods
  • Mathematical aspects of software construction
  • Symbolic mathematics

Awards & Honors

  • National Science Foundation Faculty Early Career Development (NSF CAREER), 2012
  • William Procter Grant-in-Aid Research, 2005

Education

  • Ph.D. Mathematics, University of Paris VII and École Normale Supérieure de Cachan—France, 2001
  • M.S. (Magistère) Mathematics and Computer Science, École Normale Supérieure de Cachan—France, 1997
  • B.S. (Maîtrise) Mathematics, University of Paris VII—France, 1997

Selected Publications

Gabriel Dos Reis, "A System for Axiomatic Programming," 2012 International Conferences on Intelligent Mathematics, Bremen, Germany, July 2012.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy, "A Mechanized Semantics for C++ Object Construction and Destruction with Applications to Resource Management," 39th Symposium on Principles of Programming Languages (POPL 2012), Philadelphia, USA, January 2012.

Yue Li, Gabriel Dos Reis, "An Automatic Parallelization Framework for Algebraic Computation Systems," 36th International Symposium On Symbolic and Algebraic Computation, ACM press, San Jose, California, June 2011.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy, "Formal Verification of Object Layout of C++ Multiple Inheritance," 38th symposium on Principles of Programming Languages, pp. 67-79, ACM press, Austin, Texas, January 2011.

Gabriel Dos Reis, Bjarne Stroustrup, "General Constant Expressions for System Programming Languages," 25th Symposium on Applied Computing, pp. 2133-2138, ACM press, Sierre, Switzerland, March 2010.

Jacob Smith, Gabriel Dos Reis, Jaakko Järvi, "Algorithmic Differentiation in Axiom," International Symposium on Symbolic and Algebraic Computation," pp. 347-354, ACM press, Waterloo (Ontario), Canada, July 2007.

Gabriel Dos Reis, Bjarne Stroustrup, "Specifying C++ Concepts," ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 295-308, January 2006.