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

Research Groups

SPL: Software Practices Lab

Latest Courses

2020 Winter

CPSC 107 - Systematic Program Design
CPSC 311 - Definition of Programming Languages

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
CPSC 509 - Programming Language Principles

2015 Winter

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