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

Nada Amin and Tiark Rompf. 2018. “Collapsing Towers of Interpreters.” PACML, 2, POPL. collapsing-towers.pdf

Nada Amin. 2018. “Metaprogramming Lecture Notes”. metaprogramming-lecture-notes.pdf

Nada Amin and François-René Rideau. 2018. “Proceedings of the 2017 Scheme and Functional Programming Workshop”. Publisher's Version

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

Nada Amin, Tiark Rompf, and Martin Odersky. 2014. “Foundations of path-dependent types.” In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pp. 233–249. ACM.

Nada Amin and Tiark Rompf. 2014. “Mind the gap: Artifacts vs insights in pl theory.” Off-the-Beaten Track (OBT). gap.pdf

Lukas Rytz, Nada Amin, and Martin Odersky. 2013. “A flow-insensitive, modular effect system for purity.” In Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, Pp. 4. ACM. purity-ftfjp13.pdf

Tiark Rompf, Arvind K Sujeeth, Nada Amin, Kevin J Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, and Martin Odersky. 2013. “Optimizing data structures in high-level programs: New directions for extensible compilers based on staging.” In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pp. 497–510. ACM. popl13_rompf.pdf

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, and Martin Odersky. 2013. “Scala-virtualized: Linguistic reuse for deep embeddings.” Higher-Order and Symbolic Computation, Pp. 1–43. hosc2013.pdf