Robby Findler -

Registered user since Thu 3 Apr 2014

Name:Robby Findler

Country:United States

Affiliation:Northwestern University

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

Research interests:PL

Contributions

PADL 2023	Author of Modern Macros within the PADL 2023-track
POPL 2023	Associate Chair in Program Committee within the POPL-track
SPLASH 2022	Session Chair of DSLs (part of OOPSLA) Author of Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters within the OOPSLA-track
DLS 2021	Committee Member in External Program Committee within the DLS 2021-track
ICFP 2020	Steering Committee Chair in Steering Committee
CC 2020	Author of Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects within the Main Conference-track
POPL 2020	Author of Does Blame Shifting Work? within the Research Papers-track Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
ICFP 2019	ICFP'18 General Chair in Steering Committee
POPL 2019	Author of A Calculus for Esterel: If can, can. If no can, no can. within the Research Papers-track
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
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
CoCoDo 2017	Presenter of Experimenting with Racket as a Language Workbench within the CoCoDo 2017-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
SPLASH 2016	Committee Member in Program Committee within the OOPSLA-track Author of Extensible Access Control with Authorization Contracts within the OOPSLA-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)
PLMW 2016	Session Chair of 3 (part of PLMW) Committee Member in Organizers within the PLMW-track
SPLASH 2015	Artifact Evaluation Co-Chair in Organizing Committee Artifact Evaluation Co-Chair in Organizing Committee within the OOPSLA Artifacts-track
GPCE 2015	Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
ECOOP 2015	Author of Towards Practical Gradual Typing within the Research Track-track
DSLDI 2015	Author of Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs within the DSLDI-track
PLDI 2015	Session Chair of Semantics II (part of Research Papers) Committee Member in Program Committee within the Research Papers-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 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