Nada Amin
Nada Amin
Harvard University
Verified email at - Homepage
Cited by
Cited by
Cytoscape: a software environment for integrated models of biomolecular interaction networks
P Shannon, A Markiel, O Ozier, NS Baliga, JT Wang, D Ramage, N Amin, ...
Genome research 13 (11), 2498-2504, 2003
Optimizing data structures in high-level programs: New directions for extensible compilers based on staging
T Rompf, AK Sujeeth, N Amin, KJ Brown, V Jovanovic, HJ Lee, ...
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
The Essence of Dependent Object Types
N Amin, S Grütter, M Odersky, T Rompf, S Stucki
A List of Successes That Can Change the World, 249-272, 2016
Type soundness proofs with definitional interpreters
N Amin, T Rompf
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Type soundness for dependent object types (dot)
T Rompf, N Amin
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Foundations of path-dependent types
N Amin, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
Computer-aided design for microfluidic chips based on multilayer soft lithography
N Amin, W Thies, S Amarasinghe
Computer Design, 2009. ICCD 2009. IEEE International Conference on, 2-9, 2009
Scala-virtualized: Linguistic reuse for deep embeddings
T Rompf, N Amin, A Moors, P Haller, M Odersky
Higher-Order and Symbolic Computation, 1-43, 2013
Java and scala's type systems are unsound: the existential crisis of null pointers
N Amin, R Tate
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Dependent object types
N Amin, A Moors, M Odersky
19th International Workshop on Foundations of Object-Oriented Languages, 2012
Global architecture of genetic interactions on the protein network
O Ozier, N Amin, T Ideker
Nature biotechnology 21 (5), 490-491, 2003
Functional Pearl: A SQL to C Compiler in 500 Lines of Code
T Rompf, N Amin
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
JavaScript as an Embedded DSL
G Kossakowski, N Amin, T Rompf, M Odersky
ECOOP 2012–Object-Oriented Programming, 409-434, 2012
Biolink Model: A universal schema for knowledge graphs in clinical, biomedical, and translational science
DR Unni, SAT Moxon, M Bada, M Brush, R Bruskiewich, JH Caufield, ...
Clinical and translational science 15 (8), 1848-1855, 2022
Computing with an SMT solver
N Amin, KRM Leino, T Rompf
Tests and Proofs, 20-35, 2014
Collapsing Towers of Interpreters
N Amin, T Rompf
PACML 2 (POPL), 2018
LMS-verify: Abstraction without regret for verified systems programming
N Amin, T Rompf
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017
Versatile event correlation with algebraic effects
O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
A flow-insensitive, modular effect system for purity
L Rytz, N Amin, M Odersky
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs …, 2013
Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion
Y Zhang, N Amin
Proceedings of the ACM on Programming Languages 6 (POPL), 2022
The system can't perform the operation now. Try again later.
Articles 1–20