Nada Amin

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin
Multi-objective generative AI for designing novel brain-targeting small molecules. CoRR (2024)
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. CoRR (2024)
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin
Persimmon: Nested Family Polymorphism with Extensible Variant Types. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Simon Henniger, Nada Amin
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). ECOOP (2023)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
LURK: Lambda, the Ultimate Recursive Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ende Jin, Nada Amin, Yizhou Zhang
Extensible Metatheory Mechanization via Family Polymorphism. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Simon Henniger, Nada Amin
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Yizhou Zhang, Nada Amin
Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion. Proc. ACM Program. Lang. 6 (POPL) (2022)
Aleksandra Foksinska, Camerron M. Crowder, Andrew B. Crouse, Jeff Henrikson, William E. Byrd, Gregory Rosenblatt, Michael J. Patton, Kaiwen He, Thi K. Tran-Nguyen, Marissa Zheng, Stephen A. Ramsey, Nada Amin, John Osborne, Matthew Might
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. 5 (2022)
Nada Amin
Technical perspective: Programming microfluidics to execute biological protocols. Commun. ACM 64 (2) (2021)
Nada Amin
Staged Relational Interpreters: Running Backwards, Faster. ELS (2021)
Yan Han, Nada Amin, Neel Krishnaswami
Representing music with prefix trees. FARM@ICFP (2019)
Nada Amin, William E. Byrd, Tiark Rompf
Lightweight Functional Logic Meta-Programming. APLAS (2019)
Tiark Rompf, Nada Amin
A SQL to C compiler in 500 lines of code. J. Funct. Program. 29 (2019)
Nada Amin, Tiark Rompf
Collapsing towers of interpreters. Proc. ACM Program. Lang. 2 (POPL) (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Nada Amin, Tiark Rompf
Type soundness proofs with definitional interpreters. POPL (2017)
Nada Amin, Tiark Rompf
LMS-Verify: abstraction without regret for verified systems programming. POPL (2017)
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World (2016)
Tiark Rompf, Nada Amin
Type soundness for dependent object types (DOT). OOPSLA (2016)
Nada Amin, Ross Tate
Java and scala's type systems are unsound: the existential crisis of null pointers. OOPSLA (2016)
Tiark Rompf, Nada Amin
Functional pearl: a SQL to C compiler in 500 lines of code. ICFP (2015)
Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL (2015)
Tiark Rompf, Nada Amin
From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR (2015)
Nada Amin, K. Rustan M. Leino, Tiark Rompf
Computing with an SMT Solver. TAP@STAF (2014)
Nada Amin, Tiark Rompf, Martin Odersky
Foundations of path-dependent types. OOPSLA (2014)
Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL (2013)
Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP (2013)
Lukas Rytz, Nada Amin, Martin Odersky
A flow-insensitive, modular effect system for purity. FTfJP@ECOOP (2013)
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
JavaScript as an Embedded DSL. ECOOP (2012)
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25 (1) (2012)
Nada Amin, William Thies, Saman P. Amarasinghe
Computer-aided design for microfluidic chips based on multilayer soft lithography. ICCD (2009)