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 | 42956 | 2003 |
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 | 147 | |
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 | 140 | 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 | 117 | 2016 |
Type soundness proofs with definitional interpreters N Amin, T Rompf Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 94 | 2017 |
Type soundness for dependent object types (dot) T Rompf, N Amin Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 83 | 2016 |
Foundations of path-dependent types N Amin, T Rompf, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 76 | 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 | 70 | 2009 |
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 | 69 | 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 | 67 | 2013 |
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 | 53 | 2022 |
Dependent object types N Amin, A Moors, M Odersky 19th International Workshop on Foundations of Object-Oriented Languages, 2012 | 50 | 2012 |
Global architecture of genetic interactions on the protein network O Ozier, N Amin, T Ideker Nature biotechnology 21 (5), 490-491, 2003 | 49 | 2003 |
Trey P20 GM64361/GM PM Shannon, A Ozier, O Baliga, NS Wang, JT Ramage, D Amin, ... NIGMS NIH HHS/United States Research Support, Non-US Gov’t Research Support …, 2003 | 47* | 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 | 44 | 2015 |
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 | 38 | 2022 |
JavaScript as an Embedded DSL G Kossakowski, N Amin, T Rompf, M Odersky ECOOP 2012–Object-Oriented Programming, 409-434, 2012 | 34 | 2012 |
Collapsing Towers of Interpreters N Amin, T Rompf PACML 2 (POPL), 2018 | 29 | 2018 |
Computing with an SMT solver N Amin, KRM Leino, T Rompf Tests and Proofs, 20-35, 2014 | 29 | 2014 |
LMS-verify: Abstraction without regret for verified systems programming N Amin, T Rompf 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017 | 28 | 2017 |