| 2026 | LICS | A Rational Defense of Reasonable Reflection (Invited Paper). | Nada Amin |
| 2023 | ECOOP | The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). | Simon Henniger, Nada Amin |
| 2019 | APLAS | Lightweight Functional Logic Meta-Programming. | Nada Amin, William E. Byrd, Tiark Rompf |
| 2019 | ICFP | Representing music with prefix trees. | Yan Han, Nada Amin, Neel Krishnaswami |
| 2017 | POPL | Type soundness proofs with definitional interpreters. | Nada Amin, Tiark Rompf |
| 2017 | POPL | LMS-Verify: abstraction without regret for verified systems programming. | Nada Amin, Tiark Rompf |
| 2016 | OOPSLA | Java and scala's type systems are unsound: the existential crisis of null pointers. | Nada Amin, Ross Tate |
| 2016 | OOPSLA | Type soundness for dependent object types (DOT). | Tiark Rompf, Nada Amin |
| 2015 | ICFP | Functional pearl: a SQL to C compiler in 500 lines of code. | Tiark Rompf, Nada Amin |
| 2014 | OOPSLA | Foundations of path-dependent types. | Nada Amin, Tiark Rompf, Martin Odersky |
| 2014 | TAP | Computing with an SMT Solver. | Nada Amin, K. Rustan M. Leino, Tiark Rompf |
| 2013 | ECOOP | A flow-insensitive, modular effect system for purity. | Lukas Rytz, Nada Amin, Martin Odersky |
| 2013 | ECOOP | What are the Odds?: probabilistic programming in Scala. | Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf |
| 2013 | POPL | Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. | Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky |
| 2012 | ECOOP | JavaScript as an Embedded DSL. | Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
| 2009 | ICCD | Computer-aided design for microfluidic chips based on multilayer soft lithography. | Nada Amin, William Thies, Saman P. Amarasinghe |