Publications

2019
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
2018
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
2017
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
2016
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
2015
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
2014
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
2013
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

Pages