Ronald Garcia

Registered user since Thu 18 Dec 2014

Name: Ronald Garcia

Affiliation: University of British Columbia

Contributions

POPL 2021 Author of Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient within the POPL-track
ICFP 2021 University of British Columbia in Steering Committee
Program Chair in Organizing Committee
Program Chair in Program Committee within the Research Papers-track
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 ICFP Program-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
ICSE 2021 Author of Comparing Block-based Programming Models for Two-armed Robots within the Journal-First 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
Scheme 2011 Committee Member in Program Committee within the Scheme 2011-track
SPLASH 2011 Presenter of Plaid: a Permission-Based Programming Language within the Posters-track