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

Sandro Stucki, Nada Amin, Manohar Jonnalagedda, and Tiark Rompf. 2013. “What are the Odds?: probabilistic programming in Scala.” In Proceedings of the 4th Workshop on Scala, Pp. 11. ACM. odds.pdf

Nada Amin, Adriaan Moors, and Martin Odersky. 2012. “Dependent object types.” In 19th International Workshop on Foundations of Object-Oriented Languages. fool.pdf

Grzegorz Kossakowski, Nada Amin, Tiark Rompf, and Martin Odersky. 2012. “JavaScript as an Embedded DSL.” ECOOP 2012–Object-Oriented Programming, Pp. 409–434. js-scala-ecoop.pdf

Nada Amin, William Thies, and Saman Amarasinghe. 2009. “Computer-aided design for microfluidic chips based on multilayer soft lithography.” In Computer Design, 2009. ICCD 2009. IEEE International Conference on, Pp. 2–9. IEEE. amin-iccd09.pdf

Nada Amin. 2009. “Computer-aided design for multilayer microfluidic chips”. Publisher's Version

Paul Shannon, Andrew Markiel, Owen Ozier, Nitin S Baliga, Jonathan T Wang, Daniel Ramage, Nada Amin, Benno Schwikowski, and Trey Ideker. 2003. “Cytoscape: a software environment for integrated models of biomolecular interaction networks.” Genome research, 13, 11, Pp. 2498–2504. Publisher's Version

Owen Ozier, Nada Amin, and Trey Ideker. 2003. “Global architecture of genetic interactions on the protein network.” Nature biotechnology, 21, 5, Pp. 490–491. Publisher's Version