Yizhou Zhang and Nada Amin. 1/2022. “Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion.” Proceedings of the ACM on Programming Languages, 6, POPL. Publisher's Version

François-René Rideau, Alex Knauth, and Nada Amin. 8/27/2021. “Prototypes: Object-Orientation, Functionally.” In Scheme and Functional Programming Workshop. Publisher's Version

Nada Amin, William E. Byrd, and Tiark Rompf. 8/26/2021. “Prolog-Style Meta-Programming miniKanren.” In miniKanren Workshop. Publisher's Version

Nada Amin. 8/12/2021. “Reflective Towers of Interpreters.” SIGPLAN PL Perspectives. Publisher's Version

Nada Amin. 2021. “Technical Perspective: Programming Microfluidics to Execute Biological Protocols.” Commun. ACM, 64, 2, Pp. 96. Publisher's Version

William E. Byrd, Gregory Rosenblatt, Michael J. Patton, Thi K. Tran-Nguyen, Marissa Zheng, Apoorv Jain, Michael Ballantyne, Katherine Zhang, Mei-Jan Chen, Jordan Whitlock, Mary E. Crumbley, Jillian Tinglin, Kaiwen He, Yizhou Zhang, Jeremy D. Zucker, Joseph A. Cottam, Nada Amin, John Osborne, Andrew Crouse, and Matthew Might. 8/27/2020. “mediKanren: a System for Biomedical Reasoning.” In miniKanren Workshop. Publisher's Version

Nada Amin, William E. Byrd, and Tiark Rompf. 2019. “Lightweight Functional Logic Meta-Programming.” In Programming Languages and Systems, edited by Anthony Widjaja Lin, Pp. 225–243. Cham: Springer International Publishing. scalogno.pdf

Tiark Rompf and Nada Amin. 2019. “A SQL to C compiler in 500 lines of code.” Journal of Functional Programming, 29. Publisher's Version sql2c_jfp.pdf

Nada Amin and Tiark Rompf. 2018. “Collapsing Towers of Interpreters.” Proceedings of the ACM on Programming Languages, 2, POPL. collapsing-towers.pdf

Nada Amin. 2018. Metaprogramming Lecture Notes. Cambridge, UK: University of Cambridge. metaprogramming-lecture-notes.pdf

Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini. 2018. “Versatile event correlation with algebraic effects.” Proceedings of the ACM on Programming Languages, 2, ICFP, Pp. 67. cartesius_preprint.pdf

Nada Amin and Tiark Rompf. 2017. “LMS-verify: Abstraction without regret for verified systems programming.” In 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’17). lms-verify.pdf

Nada Amin and Tiark Rompf. 2017. “Type soundness proofs with definitional interpreters.” In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Pp. 666–679. ACM. big-step.pdf

Nada Amin. 2016. “Dependent Object Types.” LAMP, EPFL. Publisher's Version

Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, and Sandro Stucki. 2016. “The Essence of Dependent Object Types.” In A List of Successes That Can Change the World, Pp. 249–272. Springer International Publishing. dot_wadlerfest.pdf

Nada Amin and Ross Tate. 2016. “Java and Scala's type systems are unsound: the existential crisis of null pointers.” In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pp. 838–848. ACM. unsound-oopsla16.pdf

Tiark Rompf and Nada Amin. 2016. “Type soundness for Dependent Object Types (DOT).” In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pp. 624–641. ACM. soundness_oopsla16.pdf

Tiark Rompf and Nada Amin. 2015. “From F to DOT: Type Soundness Proofs with Definitional Interpreters.” arXiv preprint arXiv:1510.05216. Publisher's Version

Tiark Rompf and Nada Amin. 2015. “Functional Pearl: A SQL to C Compiler in 500 Lines of Code.” In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, Pp. 2–9. ACM. rompf-icfp15.pdf

Nada Amin, Rustan KM Leino, and Tiark Rompf. 2014. “Computing with an SMT solver.” In Tests and Proofs, Pp. 20–35. Springer International Publishing. krml237.pdf