Papers | Talks and Meetings |Professional Service | Education | Experience (Academia) | Experience (Industry)

• ‘‘LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)’’, Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, & Cameron Wong, Proceedings of the ACM on Programming Languages (ICFP), August 2023
• ‘‘The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution’’, Simon Henniger & Nada Amin, In 37th European Conference on Object-Oriented Programming (ECOOP 2023), July 2023
• "Extensible Metatheory Mechanization via Family Polymorphism", Ende Jin, Nada Amin & Yizhou, Proceedings of the ACM on Programming Languages (PLDI), June 2023
• "Reasoning about "Reasoning about Reasoning": Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion", Yizhou Zhang & Nada Amin, Proceedings of the ACM on Programming Languages 6 (POPL), January 2022
• "Prototypes: Object-Orientation, Functionally", François-René Rideau, Alex Knauth, & Nada Amin, Scheme and Functional Programming Workshop, August 2021
• "Prolog-Style Meta-Programming miniKanren", Nada Amin, William E. Byrd, & Tiark Rompf, miniKanren and Relational Programming Workshop, August 2021
• "Technical Perspective: Programming Microfluidics to Execute Biological Protocols", Nada Amin, Communications of the ACM, February 2021
• "mediKanren: a System for Biomedical Reasoning", William E. Byrd, & al., miniKanren and Relational Programming Workshop, August 2020
• "Lightweight Functional Logic Meta-Programming", Nada Amin, William E. Byrd, & Tiark Rompf, APLAS'19: Programming Languages and Systems, December 2019 (code)
• "A SQL to C Compiler in 500 Lines of Code", Tiark Rompf & Nada Amin, Journal of Functional Programming, June 2019
• "Versatile Event Correlation with Algebraic Effects", Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, & Mira Mezini, ICFP'18: 23rd ACM SIGPLAN International Conference on Functional Programming, August 2018
• "Collapsing Towers of Interpreters", Nada Amin & Tiark Rompf, POPL'18: 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2018 (code)
• "LMS-Verify: Abstraction without Regret for Verified Systems Programming", Nada Amin & Tiark Rompf, POPL'17: 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2017 (code)
• "Type Soundness Proofs with Definitional Interpreters", Nada Amin & Tiark Rompf, POPL'17: 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2017 (code)
• "Type Soundness for Dependent Object Types", Tiark Rompf & Nada Amin, OOPSLA'16: 31st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, November 2016 (code)
• "Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers", Nada Amin & Ross Tate, OOPSLA'16: 31st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, November 2016 (code)
• "The Essence of Dependent Object Types", Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf & Sandro Stucki, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, April 2016 (code)
• "Functional Pearl: A SQL to C Compiler in 500 Lines of Code", Tiark Rompf & Nada Amin, ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming, August 2015 (code)
• "Foundations of Path-Dependent Types", Nada Amin, Tiark Rompf & Martin Odersky, OOPSLA'14: 29th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, October 2014 (code)
• "Computing with an SMT solver", Nada Amin, Rustan Leino & Tiark Rompf, TAP'14: 8th International Conference on Tests & Proofs, July 2014
• "Scala-virtualized: Linguistic reuse for deep embeddings", Tiark Rompf et al., HOSC: Higher Order and Symbolic Computation, 2013 (code)
• "What are the Odds?: probabilistic programming in Scala", Sandro Stucki, Nada Amin, Manohar Jonnalagedda & Tiark Rompf, Scala'13, July 2013 (code)
• "A Flow-Insensitive, Modular Effect System for Purity", Lukas Rytz, Nada Amin & Martin Odersky, FTfJP'13: Formal Techniques for Java-like Programs, July 2013
• "Optimizing Data Structures in High-Level Programs", Tiark Rompf et al., POPL'13: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2013
• "Dependent Object Types", Nada Amin, Adriaan Moors & Martin Odersky, FOOL'12: 19th International Workshop on Foundations of Object-Oriented Languages, October 2012 (code)
• "JavaScript as an Embedded DSL", Grzegorz Kossakowski, Nada Amin, Tiark Rompf & Martin Odersky, ECOOP'12: 26th European Conference on Object-Oriented Programming, June 2012 (code)
• "Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography", Nada Amin, William Thies & Saman Amarasinghe, ICCD'09: IEEE International Conference on Computer Design, October 2009 (site)
• "Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks", Paul Shannon et al., Genome Research, November 2003; 13: 2498-2504 (site)
• "Global architecture of genetic interactions on protein network", Owen Ozier, Nada Amin & Trey Ideker, Nature Biotechnology, May 2003;21(5):490-1 (site)