Nada Amin -

Registered user since Sun 17 Aug 2014

Name:Nada Amin

Country:United States

Affiliation:Harvard University

Contributions

FLOPS 2022	Committee Member in Program Committee within the FLOPS 2022-track
miniKanren 2021	Author of Prolog-Style Meta-Programming miniKanren within the miniKanren 2021-track Author of Adventures in extending miniKanren within the miniKanren 2021-track
Scheme 2021	Author of Prototypes: Object-Orientation, Functionally within the Scheme 2021-track
POPL 2022	Author of Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion within the POPL-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track Session Chair of Functional Programming (part of OOPSLA) Session Chair of Essays Session 1 (part of Onward! Essays) Committee Member in Program Committee within the Onward! Essays-track
PADL 2021	Committee Member in Programme Committee within the PADL 2021-track
PLMW @ ICFP 2020	Speaker of Functional Programming for COVID-19 Drug Repurposing within the PLMW @ ICFP 2020-track
miniKanren 2020	Session Chair of Afternoon Session (part of miniKanren 2020)
Scala 2020	Conference Chair of Closing Scala 2020 within the Scala-track Conference Chair in Organizing Committee within the Scala-track Conference Chair in Program Committee within the Scala-track Conference Chair of Welcome to Scala 2020 within the Scala-track
POPL 2021	Committee Member in Program Committee within the POPL-track
‹Programming› 2021	Committee Member in Program Committee within the Research Papers-track
PEPM 2020	Committee Member in Program Committee within the PEPM 2020-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track
META 2019	Committee Member in Program Committee within the META 2019-track
‹Programming› 2020	Committee Member in Jury within the Student Research Competition-track
FARM 2019	Author of Analyzing Music with Prefix Trees within the FARM 2019-track
miniKanren 2019	Co-chair in Organizing Committee within the miniKanren 2019-track
APLAS 2019	Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track
ASE 2019	Committee Member in Program Committee within the Journal First Presentations-track
Off the Beaten Track 2019	Committee Member in Program Committee within the Off the Beaten Track 2019-track
SPLASH 2019	Committee Member in Review Committee within the OOPSLA-track Author in Reviewers within the SRC-track
ESOP 2019	Committee Member in Program Committee within the ESOP 2019-track
DSLDI 2018	Author of CLP(SMT) within the DSLDI 2018-track
Scala 2018	Committee Member in Program Committee within the Scala 2018-track
ICOOOLPS 2018	Committee Member in Program Committee within the ICOOOLPS-track
DLS 2018	Committee Member in Program Committee within the DLS 2018-track
Onward! 2018	Committee Member in Program Committee within the Onward! Papers-track
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-track
DSLDI 2017	Committee Member in Program Committee within the DSLDI 2017-track Session Chair of Session 2 (part of DSLDI 2017)
META 2017	Keynote Speaker in Invited Talks within the Meta 2017-track Presenter of Collapsing Towers of Interpreters ⭐️ within the Meta 2017-track
ICFP 2018	Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track Committee Member in Distinguished Papers Committee within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track
PLMW 2017	Author of Scala: Types in Theory & Practice within the PLMW 2017-track
Scheme 2017	Committee Member in Program Committee within the Scheme 2017-track
TyDe 2017	Committee Member in Program Committee within the TyDe 2017-track
FTfJP 2017	Committee Member in Program Committee within the FTfJP 2017-track
Scala 2017	Session Chair of Language Design (part of Scala 2017)
GPCE 2017	Committee Member in Program Committee within the GPCE 2017-track Session Chair of Staging (part of GPCE 2017)
PLDI 2018	Committee Member in Student Research Competition Committee Committee Member in External Review Committee
POPL 2018	Author of Collapsing Towers of Interpreters within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of Collapsing Towers of Interpreters within the Artifact Evaluation-track
PLMW	Committee Member in Speaker within the PLMW-track Author of Young Researcher Panel Session within the PLMW-track
PEPM 2017	Author of Invited posters within the PEPM 2017-track
Scala 2016	Committee Member in Program Committee within the Scala-track
Mobile! 2016	Author of Generative Programming: from High-Performance to Safety-Critical Applications within the Mobile!-track
ML 2016	Committee Member in Program Committee within the ML-track
HOPE 2016	Author of Effects as Capabilities within the HOPE-track
POPL 2017	ERC member in External Review Committee within the POPL-track Author of Type Soundness Proofs with Definitional Interpreters within the POPL-track Author of LMS-Verify: Abstraction Without Regret for Verified Systems Programming within the POPL-track Session Chair of Logic and Programming (part of POPL)
ECOOP 2018	Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2017	Committee Member in Program Committee within the Workshops-track
PLDI 2017	Committee Member in External Review Committee
Off the Beaten Track 2016	Committee Member in Program Committee within the Off the Beaten Track-track Session Chair of Session Four (part of Off the Beaten Track)
PEPM 2016	Invited Speaker of Invited Talk: LMS: a Perspective on Generative Programming within the Invited Talks-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track
SPLASH 2016	Author of Type Soundness for Dependent Object Types (DOT) within the OOPSLA-track Author of Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers within the OOPSLA-track Panelist of Panel: Young Researchers within the PLMW-track
SPLASH 2014	Author of Foundations of Path-Dependent Types within the OOPSLA-track Presenter of Batteries Included: Generative Programming with Scala and LMS within the Tutorials-track
FOOL 2012	Author of Dependent Object Types within the FOOL 2012-track