Nada Amin

According to our database, Nada Amin authored at least 35 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Persimmon: Nested Family Polymorphism with Extensible Variant Types.

Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin

Proc. ACM Program. Lang., 2024

Multi-objective generative AI for designing novel brain-targeting small molecules.

Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin

CoRR, 2024

DafnyBench: A Benchmark for Formal Software Verification.

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

CoRR, 2024

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search.

David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin

CoRR, 2024

2023

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

Proc. ACM Program. Lang., August, 2023

Extensible Metatheory Mechanization via Family Polymorphism.

Ende Jin, Nada Amin, Yizhou Zhang

Proc. ACM Program. Lang., 2023

LURK: Lambda, the Ultimate Recursive Knowledge.

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

IACR Cryptol. ePrint Arch., 2023

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact).

Simon Henniger, Nada Amin

Dagstuhl Artifacts Ser., 2023

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea).

Simon Henniger, Nada Amin

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion.

Yizhou Zhang, Nada Amin

Proc. ACM Program. Lang., 2022

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.

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 D. Osborne, Matthew Might

Frontiers Artif. Intell., 2022

2021

Technical perspective: Programming microfluidics to execute biological protocols.

Nada Amin

Commun. ACM, 2021

Staged Relational Interpreters: Running Backwards, Faster.

Nada Amin

Proceedings of the 14th European Lisp Symposium, 2021

2019

A SQL to C compiler in 500 lines of code.

Tiark Rompf, Nada Amin

J. Funct. Program., 2019

Representing music with prefix trees.

Yan Han, Nada Amin, Neel Krishnaswami

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

Lightweight Functional Logic Meta-Programming.

Nada Amin, William E. Byrd, Tiark Rompf

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Versatile event correlation with algebraic effects.

Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini

Proc. ACM Program. Lang., 2018

Collapsing towers of interpreters.

Nada Amin, Tiark Rompf

Proc. ACM Program. Lang., 2018

2017

LMS-Verify: abstraction without regret for verified systems programming.

Nada Amin, Tiark Rompf

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type soundness proofs with definitional interpreters.

Nada Amin, Tiark Rompf

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Dependent Object Types.

Nada Amin

PhD thesis, 2016

Type soundness for dependent object types (DOT).

Tiark Rompf, Nada Amin

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Java and scala's type systems are unsound: the existential crisis of null pointers.

Nada Amin, Ross Tate

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

The Essence of Dependent Object Types.

Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki

Proceedings of the A List of Successes That Can Change the World, 2016

2015

From F to DOT: Type Soundness Proofs with Definitional Interpreters.

Tiark Rompf, Nada Amin

CoRR, 2015

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.

Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Functional pearl: a SQL to C compiler in 500 lines of code.

Tiark Rompf, Nada Amin

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Computing with an SMT Solver.

Nada Amin, K. Rustan M. Leino, Tiark Rompf

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Foundations of path-dependent types.

Nada Amin, Tiark Rompf, Martin Odersky

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.

Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

What are the Odds?: probabilistic programming in Scala.

Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf

Proceedings of the 4th Workshop on Scala, 2013

A flow-insensitive, modular effect system for purity.

Lukas Rytz, Nada Amin, Martin Odersky

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012

Scala-Virtualized: linguistic reuse for deep embeddings.

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky

High. Order Symb. Comput., 2012

JavaScript as an Embedded DSL.

Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2009

Computer-aided design for microfluidic chips based on multilayer soft lithography.

Nada Amin, William Thies, Saman P. Amarasinghe

Proceedings of the 27th International Conference on Computer Design, 2009