Nada Amin - RankMe

45 papers A* 3A 6B 2C 2Journal 23Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Compiling to Linear Neurons. Proc. ACM Program. Lang. Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2026	C	`ed.`	Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings PADL Nada Amin, Joaquín Arias
2025	J	`jnl`	Beyond Cons: Purely Relational Data Structures. CoRR Rafaello Sanna, William E. Byrd, Nada Amin
2025	J	`jnl`	Compiling to linear neurons. CoRR Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2025	J	`jnl`	Compiling to recurrent neurons. CoRR Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2025	J	`jnl`	DafnyBench: A Benchmark for Formal Software Verification. Trans. Mach. Learn. Res. Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2025	J	`jnl`	Multi-stage Relational Programming. Proc. ACM Program. Lang. Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin
2025	B	`ed.`	Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2025, Bergen, Norway, July 3-4, 2025 GPCE Amir Shaikhha, Sebastian Erdweg, Nada Amin
2024	J	`jnl`	DafnyBench: A Benchmark for Formal Software Verification. CoRR Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2024	J	`jnl`	Multi-objective generative AI for designing novel brain-targeting small molecules. CoRR Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin
2024	J	`jnl`	Persimmon: Nested Family Polymorphism with Extensible Variant Types. Proc. ACM Program. Lang. Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin
2024	J	`jnl`	Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. CoRR David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
2024	J	`jnl`	dafny-annotator: AI-Assisted Verification of Dafny Programs. CoRR Gabriel Poesia, Chloe Loughridge, Nada Amin
2023	J	`jnl`	Extensible Metatheory Mechanization via Family Polymorphism. Proc. ACM Program. Lang. Ende Jin, Nada Amin, Yizhou Zhang
2023	J	`jnl`	LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). Proc. ACM Program. Lang. Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023	J	`jnl`	LURK: Lambda, the Ultimate Recursive Knowledge. IACR Cryptol. ePrint Arch. Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023	J	`jnl`	The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). Dagstuhl Artifacts Ser. Simon Henniger, Nada Amin
2023	A	`conf`	The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). ECOOP Simon Henniger, Nada Amin
2022	J	`jnl`	Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion. Proc. ACM Program. Lang. Yizhou Zhang, Nada Amin
2022	J	`jnl`	The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. 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
2021	—	`conf`	Staged Relational Interpreters: Running Backwards, Faster. ELS Nada Amin
2021	J	`jnl`	Technical perspective: Programming microfluidics to execute biological protocols. Commun. ACM Nada Amin
2020	—	`ed.`	SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020 SCALA@SPLASH Guido Salvaneschi, Nada Amin
2019	J	`jnl`	A SQL to C compiler in 500 lines of code. J. Funct. Program. Tiark Rompf, Nada Amin
2019	B	`conf`	Lightweight Functional Logic Meta-Programming. APLAS Nada Amin, William E. Byrd, Tiark Rompf
2019	—	`conf`	Representing music with prefix trees. FARM@ICFP Yan Han, Nada Amin, Neel Krishnaswami
2018	J	`jnl`	Collapsing towers of interpreters. Proc. ACM Program. Lang. Nada Amin, Tiark Rompf
2018	J	`jnl`	Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017	A*	`conf`	LMS-Verify: abstraction without regret for verified systems programming. POPL Nada Amin, Tiark Rompf
2017	A*	`conf`	Type soundness proofs with definitional interpreters. POPL Nada Amin, Tiark Rompf
2016	—	`—`	Dependent Object Types. Nada Amin
2016	A	`conf`	Java and scala's type systems are unsound: the existential crisis of null pointers. OOPSLA Nada Amin, Ross Tate
2016	—	`conf`	The Essence of Dependent Object Types. A List of Successes That Can Change the World Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
2016	A	`conf`	Type soundness for dependent object types (DOT). OOPSLA Tiark Rompf, Nada Amin
2015	J	`jnl`	From F to DOT: Type Soundness Proofs with Definitional Interpreters. CoRR Tiark Rompf, Nada Amin
2015	A	`conf`	Functional pearl: a SQL to C compiler in 500 lines of code. ICFP Tiark Rompf, Nada Amin
2015	—	`conf`	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. SNAPL 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
2014	—	`conf`	Computing with an SMT Solver. TAP@STAF Nada Amin, K. Rustan M. Leino, Tiark Rompf
2014	A	`conf`	Foundations of path-dependent types. OOPSLA Nada Amin, Tiark Rompf, Martin Odersky
2013	—	`conf`	A flow-insensitive, modular effect system for purity. FTfJP@ECOOP Lukas Rytz, Nada Amin, Martin Odersky
2013	A*	`conf`	Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
2013	—	`conf`	What are the Odds?: probabilistic programming in Scala. SCALA@ECOOP Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
2012	A	`conf`	JavaScript as an Embedded DSL. ECOOP Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
2012	J	`jnl`	Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2009	C	`conf`	Computer-aided design for microfluidic chips based on multilayer soft lithography. ICCD Nada Amin, William Thies, Saman P. Amarasinghe