GABRIEL DOS REIS

Assistant Professor

Email: gdr@cse.tamu.edu
Phone: 979/458-1547
Office: HRBB 410C
http://parasol.tamu.edu/people/gdr

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

RESEARCH INTERESTS

Computer algebra, mathematical software, formal verification, programming languages, compiler construction, generic programming

AWARDS

William Procter Grant-in-Aid Research, 2005

EXPERIENCE

Assistant Professor, Department of Computer Science and Engineering, Texas A&M University, 2006 - present

Postdoctoral Research Associate, Department of Computer Science, Texas A&M University, 2003-2006

Postdoctoral Research Associate, INRIA Sophia Antipolis (France), 2002-2003

Visiting Assistant Professor, Department of Mathematics and Computer Science, École Centrale de Lyon (France), 2001-2002

PROFESSIONAL ACTIVITIES AND SERVICE

Program Committee member of ISSAC 2012.

Project lead of the OpenAxiom computer algebra system, 2007-present.

Project lead of the Liz programming system, 2010-present.

ISO C++ Standardization committee member, 1997-present.

AFNOR (French national body for standardizations) C++ committee member, 1997-present.

Reviewer for several journals, PC members of several annual conferences.

GNU Compiler Collection contributor, 1997-present.

Past Release Manager for the GNU Compiler Collection (GCC).

SELECTED PUBLICATIONS

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.

Gabriel Dos Reis, Bjarne Stroustrup, "A Principle, Complete, and Efficient Representation of C++", joint conference of ASCM 2009 and MACIS 2009, pp. 407-421, Fukuoka, Japan, December 2009.

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.