Nada Amin -

Registered user since Sun 17 Aug 2014

Name:Nada Amin

Country:United States

Affiliation:Harvard University

Personal website: http://namin.net

Contributions

2025

ICFP

Committee Member in ICFP Programme Committee within the ICFP Papers-track

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2025-track

PEPM

Committee Member in Programme Committee within the PEPM 2025-track

2024

SPLASH

Author of Persimmon: Nested Family Polymorphism with Extensible Variant Types within the OOPSLA 2024-track

FUNARCH

Committee Member in Program Committee within the FUNARCH 2024-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

DLS

Committee Member in Program Committee within the DLS 2023-track

HATRA

Author of Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach within the HATRA-track

IWACO

Author of Oxidize: A Step-Debugger for Static Semantics within the IWACO 2023-track

SPLASH

DeclMed

Committee Member in Program Committee within the DeclMed 2023-track

ICFP

Author of LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) within the ICFP Papers and Events-track

miniKanren

Co-chair in Program Committee within the miniKanren 2023-track

ECOOP

Author of The Dolorem Pattern: Growing a Language through Compile-Time Function Execution within the Research Papers-track

PLDI

Author of Extensible Metatheory Mechanization via Family Polymorphism within the PLDI Research Papers-track

VIMPL

Committee Member in Program Committee within the VIMPL 2023-track

POPL

Committee Member in Program Committee within the POPL-track

PEPM

Committee Member in Program Committee within the PEPM 2023-track

2022

TyDe

Co-chair in Organization Committee within the TyDe 2022-track

FLOPS

Committee Member in Program Committee within the FLOPS 2022-track

POPL

Author of Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion within the POPL-track

2021

SPLASH

Scheme

Author of Prototypes: Object-Orientation, Functionally within the Scheme 2021-track

miniKanren

‹Programming›

Committee Member in Program Committee within the Research Papers-track

POPL

Committee Member in Program Committee within the POPL-track

Symposium on Practical Aspects of Declarative Languages

Committee Member in Programme Committee within the PADL 2021-track

2020

PLMW

Speaker of Functional Programming for COVID-19 Drug Repurposing within the PLMW @ ICFP 2020-track

miniKanren

Session Chair of Afternoon Session (part of miniKanren 2020)

Scala

‹Programming›

Committee Member in Jury within the Student Research Competition-track

CPP

Committee Member in Program Committee within the CPP 2020-track

PEPM

Committee Member in Program Committee within the PEPM 2020-track

2019

APLAS

Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track

ASE

Committee Member in Program Committee within the Journal First Presentations-track

SPLASH

META

Committee Member in Program Committee within the META 2019-track

FARM

Author of Analyzing Music with Prefix Trees within the FARM 2019-track

miniKanren

Co-chair in Organizing Committee within the miniKanren 2019-track

ESOP

Committee Member in Program Committee within the ESOP 2019-track

Off the Beaten Track

Committee Member in Program Committee within the Off the Beaten Track 2019-track

2018

DLS

Committee Member in Program Committee within the DLS 2018-track

DSLDI

Author of CLP(SMT) within the DSLDI 2018-track

Onward!

Committee Member in Program Committee within the Onward! Papers-track

ICFP

Scala

Committee Member in Program Committee within the Scala 2018-track

ICOOOLPS

Committee Member in Program Committee within the ICOOOLPS-track

ECOOP

Committee Member in Program Committee within the ECOOP Research Papers-track

PLDI

POPL

PEPM

Committee Member in Programme Committee within the PEPM 2018-track

2017

META

SPLASH

Committee Member in Program Committee within the Workshops-track

GPCE

Scala

Session Chair of Language Design (part of Scala 2017)

DSLDI

PLMW

Author of Scala: Types in Theory & Practice within the PLMW 2017-track

Scheme

Committee Member in Program Committee within the Scheme 2017-track

TyDe

Committee Member in Program Committee within the TyDe 2017-track

FTfJP

Committee Member in Program Committee within the FTfJP 2017-track

PLDI

Committee Member in External Review Committee

POPL

PLMW

PEPM

Author of Invited posters within the PEPM 2017-track

2016

Mobile!

Author of Generative Programming: from High-Performance to Safety-Critical Applications within the Mobile!-track

SPLASH

Scala

Committee Member in Program Committee within the Scala-track

HOPE

Author of Effects as Capabilities within the HOPE-track

ML

Committee Member in Program Committee within the ML-track

ECOOP

Committee Member in Program Committee within the Research Track-track

Off the Beaten Track

PEPM

Invited Speaker of Invited Talk: LMS: a Perspective on Generative Programming within the Invited Talks-track

2014

SPLASH

2012

FOOL

Author of Dependent Object Types within the FOOL 2012-track