Следене
Nada Amin
Nada Amin
Harvard University
Потвърден имейл адрес: alum.mit.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
404182003
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
1392013
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
1092016
Type soundness proofs with definitional interpreters
N Amin, T Rompf
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
912017
A software environment for integrated models of biomolecular interaction networks., 2003, 13
P Shannon, A Markiel, O Ozier, NS Baliga, JT Wang, D Ramage, N Amin, ...
DOI: https://doi. org/10.1101/gr 1239303, 2498-2504, 0
91
Type soundness for dependent object types (dot)
T Rompf, N Amin
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
802016
Foundations of path-dependent types
N Amin, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
762014
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
692009
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
682016
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
672013
Dependent object types
N Amin, A Moors, M Odersky
19th International Workshop on Foundations of Object-Oriented Languages, 2012
502012
Global architecture of genetic interactions on the protein network
O Ozier, N Amin, T Ideker
Nature biotechnology 21 (5), 490-491, 2003
492003
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
432022
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
432015
JavaScript as an Embedded DSL
G Kossakowski, N Amin, T Rompf, M Odersky
ECOOP 2012–Object-Oriented Programming, 409-434, 2012
342012
Collapsing Towers of Interpreters
N Amin, T Rompf
PACML 2 (POPL), 2018
292018
Computing with an SMT solver
N Amin, KRM Leino, T Rompf
Tests and Proofs, 20-35, 2014
292014
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
282022
LMS-verify: Abstraction without regret for verified systems programming
N Amin, T Rompf
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017
272017
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
252018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20