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 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