Publications

2024
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, and Nada Amin. 2024. “Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search”. Publisher's Version
2023
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong. 8/2023. “LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).” Proc. ACM Program. Lang., 7, ICFP. Publisher's Version
Ende Jin, Nada Amin, and Yizhou Zhang. 6/2023. “Extensible Metatheory Mechanization via Family Polymorphism.” Proceedings of the ACM on Programming Languages, 7, PLDI. Publisher's Version
Simon Henniger and Nada Amin. 2023. “The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution.” In 37th European Conference on Object-Oriented Programming (ECOOP 2023), 263: Pp. 41:1--41:27. Publisher's Version
2022
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
Aleksandra Foksinska, Camerron M Crowder, Andrew B Crouse, Jeff Henrikson, William E Byrd, Gregory Rosenblatt, Michael J Patton, Kaiwen He, Thi K Tran-Nguyen, Marissa Zheng, Stephen A Ramsey, Nada Amin, John Osborne, UAB Precision Medicine Institute, and Matthew Might. 2022. “The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.” Frontiers in artificial intelligence, 5, Pp. 910216. Publisher's VersionAbstract
There are over 6,000 different rare diseases estimated to impact 300 million people worldwide. As genetic testing becomes more common practice in the clinical setting, the number of rare disease diagnoses will continue to increase, resulting in the need for novel treatment options. Identifying treatments for these disorders is challenging due to a limited understanding of disease mechanisms, small cohort sizes, interindividual symptom variability, and little commercial incentive to develop new treatments. A promising avenue for treatment is drug repurposing, where FDA-approved drugs are repositioned as novel treatments. However, linking disease mechanisms to drug action can be extraordinarily difficult and requires a depth of knowledge across multiple fields, which is complicated by the rapid pace of biomedical knowledge discovery. To address these challenges, The Hugh Kaul Precision Medicine Institute developed an artificial intelligence tool, mediKanren, that leverages the mechanistic insight of genetic disorders to identify therapeutic options. Using knowledge graphs, mediKanren enables an efficient way to link all relevant literature and databases. This tool has allowed for a scalable process that has been used to help over 500 rare disease families. Here, we provide a description of our process, the advantages of mediKanren, and its impact on rare disease patients.
2021
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
2020
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
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 sql2c_jfp.pdf
2018
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
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

Pages