| 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 | 37301 | 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 | 135 | 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 | 102 | 2016 |
| Type soundness proofs with definitional interpreters N Amin, T Rompf Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 88 | 2017 |
| Type soundness for dependent object types (dot) T Rompf, N Amin Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 77 | 2016 |
| Foundations of path-dependent types N Amin, T Rompf, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 75 | 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 | 69 | 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 | 65 | 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 | 64 | 2016 |
| 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 |
| 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 | 40 | 2015 |
| JavaScript as an Embedded DSL G Kossakowski, N Amin, T Rompf, M Odersky ECOOP 2012–Object-Oriented Programming, 409-434, 2012 | 35 | 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 | 31 | 2022 |
| Computing with an SMT solver N Amin, KRM Leino, T Rompf Tests and Proofs, 20-35, 2014 | 29 | 2014 |
| Collapsing Towers of Interpreters N Amin, T Rompf PACML 2 (POPL), 2018 | 28 | 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 | 26 | 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 | 25 | 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 | 21 | 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 | 19 | 2022 |
