Robby Findler

Registered user since Thu 3 Apr 2014

Name: Robby Findler

Country: United States

Affiliation: Northwestern University, USA

Personal website: http://www.cs.northwestern.edu/~robby/

Research interests: PL

Contributions

DLS 2021 PC Member in Program Committee within the DLS 2021-track
FPE 2020 Committee Member in Organizing Committee within the FPE 2020-track
CC 2020 Author of Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects within the Main Conference-track
ICFP 2020 Steering Committee Chair in Steering Committee
POPL 2020 Author of Does Blame Shifting Work? within the Research Papers-track
Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
POPL 2019 Author of A Calculus for Esterel: If can, can. If no can, no can. within the Research Papers-track
ICFP 2019 ICFP'18 General Chair in Steering Committee
SPLASH 2018 Author of Collapsible Contracts: Fixing a Pathology of Gradual Typing within the OOPSLA-track
Author of Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing within the Artifacts-track
ICFP 2018 Session Chair of Monday Keynote (part of Keynotes and Reports)
ICFP'18 General Chair in Steering Committee
General Chair in Organizing Committee
CoCoDo 2017 Presenter of Experimenting with Racket as a Language Workbench within the CoCoDo 2017-track
ICFP 2017 ICFP'18 General Chair in Steering Committee
Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track
ICFP'18 General Chair of ICFP 2018 Announcement within the Keynotes and Reports-track
‹Programming› 2017 Committee Member in Program Committee within the Research Papers-track
LWC@SLE 2016 Author of Languages the Racket Way: Submission to the 2016 Language Workbench Challenge within the LWC-track
PLMW 2016 Session Chair of 3 (part of PLMW)
Committee Member in Organizers within the PLMW-track
SLE 2016 Invited Speaker of SLE 2016 Keynote: Redex: Lightweight Semantics Engineering within the SLE-track
Keynote Speaker in Keynote Speaker within the SLE-track
ICFP 2016 ICFP'18 General Chair in Steering Committee
Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track
Session Chair of Session 5 (part of Research Papers)
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
DSLDI 2015 Author of Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs within the DSLDI-track
GPCE 2015 Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
ESOP 2015 Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track
SPLASH 2015 Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Organizing Committee within the OOPSLA Artifacts-track
PLDI 2015 Session Chair of Semantics II (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ECOOP 2015 Author of Towards Practical Gradual Typing within the Research Track-track
SPLASH 2014 Artifact Evaluation Co-Chair in Organizing Committee within the OOPSLA Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in External Review Committee within the OOPSLA-track
DLS 2013 Committee Member in Program Committee within the Research Papers-track
Onward! 2013 Committee Member in Program Committee within the Research Papers-track
SPLASH 2013 Author of Option Contracts within the OOPSLA-track
Committee Member in Program Committee within the Onward!-track
SPLASH 2012 Author of Chaperones and impersonators: run-time support for reasonable interposition within the OOPSLA Research Papers-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track