Ronald Garcia -

Registered user since Thu 18 Dec 2014

Name:Ronald Garcia

Affiliation:University of British Columbia

Contributions

ICFP 2022	University of British Columbia in Steering Committee Author of Propositional Equality for Gradual Dependently Typed Programming within the ICFP Papers and Events-track Session Chair of Conclusions (part of ICFP Papers and Events)
PLMW @ ICFP 2021	Moderator of "I don't get it!" Panel within the PLMW @ ICFP 2021-track
POPL 2022	Committee Member in Program Committee within the POPL-track
SPLASH 2021	ICFP 2021 PC Chair in Chairs within the SIGPLAN Papers-track
POPL 2021	Author of Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient within the POPL-track
SPLASH 2022	Author of Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition within the OOPSLA-track
ICSE 2022	Author of Enabling End-Users to Implement Larger Block-Based Programs within the Posters-track
ICFP 2021	Committee Member in Virtualization Committee Program Chair in Organizing Committee Program Chair in Program Committee within the Research Papers-track University of British Columbia in Steering Committee Committee Member in Selection Committee within the Tutorials-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