Nada Amin

Registered user since Sun 17 Aug 2014

Name: Nada Amin

Country: United Kingdom

Affiliation: University of Cambridge

Personal website: http://namin.net

Contributions

ESOP 2019Committee Member in Program Committee
Scala 2018Committee Member in Program Committee
ICOOOLPS 2018Committee Member in Program Committee
DLS 2018Committee Member in Program Committee
Onward! 2018Committee Member in Program Committee
PEPM 2018Committee Member in Programme Committee
DSLDI 2017Committee Member in Program Committee
Session Chair of Session 2 (part of DSLDI 2017)
META 2017Keynote Speaker in Invited Talks
Presenter of Collapsing Towers of Interpreters ⭐️ within the Meta 2017-track
ICFP 2018Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
Committee Member in External Review Committee
PLMW 2017Author of Scala: Types in Theory & Practice within the PLMW 2017-track
Scheme 2017Committee Member in Program Committee
TyDe 2017Committee Member in Program Committee
FTfJP 2017Committee Member in Program Committee
Scala 2017Session Chair of Language Design (part of Scala 2017)
GPCE 2017Committee Member in Program Committee
Session Chair of Staging (part of GPCE 2017)
PLDI 2018Committee Member in Student Research Competition Committee
Committee Member in External Review Committee
POPL 2018Author of Collapsing Towers of Interpreters within the Research Papers-track
Committee Member in Program Committee
Author of Collapsing Towers of Interpreters within the Artifact Evaluation-track
PLMWCommittee Member in Speaker
Author of Young Researcher Panel Session within the PLMW-track
PEPM 2017Author of Invited posters within the PEPM 2017-track
Scala 2016Committee Member in Program Committee
Mobile! 2016Author of Generative Programming: from High-Performance to Safety-Critical Applications within the Mobile!-track
ML 2016Committee Member in Program Committee
HOPE 2016Author of Effects as Capabilities within the HOPE-track
POPL 2017ERC member in External Review Committee
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 2018Committee Member in Program Committee
SPLASH 2017Committee Member in Program Committee
PLDI 2017Committee Member in External Review Committee
Off the Beaten Track 2016Committee Member in Program Committee
Session Chair of Session Four (part of Off the Beaten Track)
PEPM 2016invited speaker of Invited Talk: LMS: a Perspective on Generative Programming within the Invited Talks-track
ECOOP 2016Committee Member in Program Committee
SPLASH 2016Author 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 2014Author 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