Ronald Garcia -

Registered user since Thu 18 Dec 2014

Name: Ronald Garcia

Affiliation: University of British Columbia

Contributions

WGT 2020	Committee Member in Program Committee within the WGT-track Author of Gradual Typing as if Types Mattered within the WGT-track
ICFP 2020	Author in Steering Committee Committee Member in External Review Committee within the Research Papers-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2019	Committee Member in Review Committee within the OOPSLA-track
POPL 2019	Author of Type-Driven Gradual Security with References within the Research Papers-track
PLMW @ ICFP 2018	Speaker in Speakers within the PLMW @ ICFP 2018-track Speaker of Gradual Types within the PLMW @ ICFP 2018-track
Scheme 2018	Committee Member in Program Committee within the Scheme 2018-track
ICFP 2019	ICFP'21 Program Chair in Steering Committee Author of Approximate Normalization for Gradual Dependent Types within the Research Papers-track
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-track
DSLDI 2017	Keynote 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 2018	Author of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages within the Tutorials-track Session Chair of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of Tutorials) Author of Gradual Typing within the Keynotes and Reports-track Member at large in Steering Committee
PLMW 2017	Author of Gradual Typing within the PLMW 2017-track
GPCE 2017	Author of Refining Semantics for Multi-stage Programming within the GPCE 2017-track
ICFP 2017	Session Chair of Integrating Static and Dynamic Typing (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
STOP 2016	Chair in Program Committee within the STOP-track
POPL 2017	Session Chair of Gradual Typing and Contracts (part of POPL) Committee Member in Program Committee within the POPL-track
SPLASH 2017	Web & Publicity in Organizing Committee
PEPM 2016	Committee Member in Program Committee within the PEPM-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track
PLATEAU 2015	Committee Member in Program Committee within the PLATEAU-track
SPLASH 2016	Web & Publicity in Organizing Committee
POPL 2016	Author of Abstracting Gradual Typing within the Research Papers-track
STOP 2015	Committee Member in Program Committee within the STOP-track
ESOP 2015	Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
SPLASH 2015	Tutorials Co-Chair in Organizing Committee within the Tutorials-track Tutorials Co-Chair in Organizing Committee
SPLASH 2014	Author of Confined Gradual Typing within the OOPSLA-track
FOOL 2012	Committee Member in Program Committee within the FOOL 2012-track