Nada Amin
Nada Amin
University of Cambridge, UK
Verified email at alum.mit.edu - Homepage
TitleCited byYear
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
149052003
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
1072013
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
502009
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
462016
Global architecture of genetic interactions on the protein network
O Ozier, N Amin, T Ideker
Nature biotechnology 21 (5), 490-491, 2003
462003
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
442013
Foundations of path-dependent types
N Amin, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
372014
Type soundness proofs with definitional interpreters
N Amin, T Rompf
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
352017
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
312016
Dependent object types
N Amin, A Moors, M Odersky
19th International Workshop on Foundations of Object-Oriented Languages, 2012
302012
JavaScript as an Embedded DSL
G Kossakowski, N Amin, T Rompf, M Odersky
ECOOP 2012–Object-Oriented Programming, 409-434, 2012
302012
Type soundness for dependent object types (dot)
T Rompf, N Amin
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
292016
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
222015
From F to DOT: Type Soundness Proofs with Definitional Interpreters
T Rompf, N Amin
arXiv preprint arXiv:1510.05216, 2015
16*2015
Computing with an SMT solver
N Amin, KRM Leino, T Rompf
Tests and Proofs, 20-35, 2014
162014
Collapsing Towers of Interpreters
N Amin, T Rompf
PACML 2 (POPL), 2018
142018
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, 4, 2013
142013
Lms-verify: Abstraction without regret for verified systems programming
N Amin, T Rompf
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017
112017
What are the Odds?: probabilistic programming in Scala
S Stucki, N Amin, M Jonnalagedda, T Rompf
Proceedings of the 4th Workshop on Scala, 11, 2013
8*2013
Dependent Object Types
N Amin
EPFL, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20