Ronald Garcia
Associate Professor
Email:
rxg [at] cs [dot] ubc [dot] ca
Office:
ICCS 387
Phone:
604-822-1664
Homepage:
https://www.cs.ubc.ca/~rxg/
Lab(s):
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 - 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
