Ronald Garcia

Associate Professor

Office
ICCS
387
Office Phone #
604-822-1664

Academic Information

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 - 2017)
Associate Professor, University of British Columbia (2017 - )

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

Research Interests

programming languages

Latest Courses

2019 Winter

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

2018 Winter

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

2016 Winter

CPSC 411 - Introduction to Compiler Construction