Ronald Garcia

Registered user since Thu 18 Dec 2014

Name: Ronald Garcia

Affiliation: University of British Columbia

Contributions

PLMW @ ICFP 2018Speaker in Speakers within the PLMW @ ICFP 2018-track
Speaker of Gradual Types within the PLMW @ ICFP 2018-track
Scheme 2018Committee Member in Program Committee within the Scheme 2018-track
PEPM 2018Committee Member in Programme Committee within the PEPM 2018-track
DSLDI 2017Keynote Speaker in Keynote Speaker within the DSLDI 2017-track
Keynote Speaker of Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) within the DSLDI 2017-track
ICFP 2018Author of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages within the Tutorials-track
Session Chair of Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of Tutorials)
Author of Gradual Typing within the Keynotes and Reports-track
PLMW 2017Author of Gradual Typing within the PLMW 2017-track
GPCE 2017Author of Refining Semantics for Multi-stage Programming within the GPCE 2017-track
ICFP 2017Session Chair of Integrating Static and Dynamic Typing (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
STOPChair in Program Committee within the STOP-track
POPL 2017Session Chair of Gradual Typing and Contracts (part of POPL)
Committee Member in Program Committee within the POPL-track
SPLASH 2017Web & Publicity in Organizing Committee
PEPM 2016Committee Member in Program Committee within the PEPM-track
ECOOP 2016Committee Member in Program Committee within the Research Track-track
PLATEAU 2015Committee Member in Program Committee within the PLATEAU-track
SPLASH 2016Web & Publicity in Organizing Committee
POPL 2016Author of Abstracting Gradual Typing within the Research Papers-track
STOP 2015Committee Member in Program Committee within the STOP-track
ESOP 2015Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
SPLASH 2015Tutorials Co-Chair in Organizing Committee within the Tutorials-track
Tutorials Co-Chair in Organizing Committee
SPLASH 2014Author of Confined Gradual Typing within the OOPSLA-track
FOOL 2012Committee Member in Program Committee within the FOOL 2012-track