Robby Findler

Registered user since Thu 3 Apr 2014

Name: Robby Findler

Country: United States

Affiliation: Northwestern University, USA

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

Research interests: PL

Contributions

POPL 2019Author of A Calculus for Esterel: If can, can. If no can, no can. within the Research Papers-track
ICFP 2019ICFP'18 General Chair in Steering Committee
SPLASH 2018Author 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 2018Session Chair of Monday Keynote (part of Keynotes and Reports)
ICFP'18 General Chair in Steering Committee
General Chair in Organizing Committee
CoCoDo 2017Presenter of Experimenting with Racket as a Language Workbench within the CoCoDo 2017-track
ICFP 2017ICFP'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› 2017Committee Member in Program Committee within the Research Papers-track
LWC@SLE 2016Author of Languages the Racket Way: Submission to the 2016 Language Workbench Challenge within the LWC-track
PLMW 2016Session Chair of 3 (part of PLMW)
Committee Member in Organizers within the PLMW-track
SLE 2016invited speaker of SLE 2016 Keynote: Redex: Lightweight Semantics Engineering within the SLE-track
Keynote Speaker in Keynote Speaker within the SLE-track
ICFP 2016ICFP'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 2016Committee Member in Program Committee within the OOPSLA-track
Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
DSLDI 2015Author of Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs within the DSLDI-track
GPCE 2015Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
ESOP 2015Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track
SPLASH 2015Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Organizing Committee within the OOPSLA Artifacts-track
PLDI 2015Session Chair of Semantics II (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ECOOP 2015Author of Towards Practical Gradual Typing within the Research Track-track
SPLASH 2014Artifact 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 2013Committee Member in Program Committee within the Research Papers-track
Onward! 2013Committee Member in Program Committee within the Research Papers-track
SPLASH 2013Author of Option Contracts within the OOPSLA-track
Committee Member in Program Committee within the Onward!-track
SPLASH 2012Author of Chaperones and impersonators: run-time support for reasonable interposition within the OOPSLA Research Papers-track