Ronald Garcia

Associate Professor
Email: rxg [at] cs [dot] ubc [dot] ca
Office: ICCS 387
Phone: 604-822-1664
Lab(s):
SPL

Curriculum Vitae

B.S., Electrical Engineering, University of Notre Dame (1997)
M.S., Electrical Engineering, University of Notre Dame (1999)
Ph.D., Computer Science, Indiana University (2008)
Postdoc, Rice University (2008 - 2009)
Computing Innovations Fellow, Carnegie Mellon University (2009 - 2011)
Assistant Professor, University of British Columbia (2011 - )

Selected Publications

Abstracting Gradual Typing
Ronald Garcia, Alison M. Clark, and Éric Tanter. In POPL '16: The 43rd Annual Symposium on Principles of Programming Languages. 2016

Principle Type Schemes for Gradual Programs
Ronald Garcia and Matteo Cimini. In POPL '15: The 42nd Annual Symposium on Principles of Programming Languages. 2015

Foundations of Typestate-Oriented Programming
Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich. ACM Transactions on Programming Languages and Systems, 2014.

Lazy Evaluation and Delimited Control
Ronald Garcia, Andrew Lumsdaine, and Amr Sabry. In Logical Methods in Computer Science, Volume 6, Issue 3. 2010.

Toward Foundations for Type-Reflective Metaprogramming
Ronald Garcia and Andrew Lumsdaine. In GPCE '09: The 8th International Conference on Generative Programming and Component-Based Engineering. 2009

Latest Awards

Latest CS Courses

2016 Winter

CPSC 411  –  Introduction to Compiler Construction
CPSC 509  –  Programming Language Principles

2015 Winter

CPSC 509  –  Programming Language Principles
CPSC 411  –  Introduction to Compiler Construction
 – 

a place of mind, The University of British Columbia

 

ICICS/CS Building 201-2366 Main Mall
Vancouver, B.C. V6T 1Z4 Canada
Tel: 604-822-3061 | Fax: 604-822-5485
General: help@cs.ubc.ca
Undergrad program: undergrad-info@cs.ubc.ca
Graduate program: grad-info@cs.ubc.ca

Emergency Procedures | Accessibility | Contact UBC | © Copyright The University of British Columbia