Nada Amin
Nada Amin
Harvard University
Vahvistettu sähköpostiosoite verkkotunnuksessa - Kotisivu
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
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
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
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
Foundations of path-dependent types
N Amin, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
Type soundness proofs with definitional interpreters
N Amin, T Rompf
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Global architecture of genetic interactions on the protein network
O Ozier, N Amin, T Ideker
Nature biotechnology 21 (5), 490-491, 2003
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
Type soundness for dependent object types (dot)
T Rompf, N Amin
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
JavaScript as an Embedded DSL
G Kossakowski, N Amin, T Rompf, M Odersky
ECOOP 2012–Object-Oriented Programming, 409-434, 2012
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
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
From F to DOT: Type Soundness Proofs with Definitional Interpreters
T Rompf, N Amin
arXiv preprint arXiv:1510.05216, 2015
Lms-verify: Abstraction without regret for verified systems programming
N Amin, T Rompf
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017
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
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), 67, 2018
Dependent Object Types
N Amin
EPFL, 2016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20