| Gemini 2.5: Pushing the frontier with advanced reasoning, multimodality, long context, and next generation agentic capabilities G Comanici, E Bieber, M Schaekermann, I Pasupat, N Sachdeva, I Dhillon, ... arXiv preprint arXiv:2507.06261, 2025 | 1337 | 2025 |
| Measuring neural net robustness with constraints O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi Advances in neural information processing systems 29, 2016 | 579 | 2016 |
| Simple unification-based type inference for GADTs S Peyton Jones, D Vytiniotis, S Weirich, G Washburn ACM SIGPLAN Notices 41 (9), 50-61, 2006 | 459 | 2006 |
| Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... International Conference on Theorem Proving in Higher Order Logics, 50-65, 2005 | 442 | 2005 |
| Refinement types for Haskell N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 403 | 2014 |
| Practical type inference for arbitrary-rank types SP Jones, D Vytiniotis, S Weirich, M Shields Journal of functional programming 17 (1), 1-82, 2007 | 296 | 2007 |
| Giving Haskell a promotion BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis, ... Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and …, 2012 | 246 | 2012 |
| OutsideIn (X) Modular type inference with local assumptions D Vytiniotis, SP Jones, T Schrijvers, M Sulzmann Journal of functional programming 21 (4-5), 333-412, 2011 | 172 | 2011 |
| Complete and decidable type inference for GADTs T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis ACM Sigplan Notices 44 (9), 341-352, 2009 | 148 | 2009 |
| Broom: Sweeping out garbage collection from big data systems I Gog, J Giceva, M Schwarzkopf, K Vaswani, D Vytiniotis, G Ramalingam, ... 15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015 | 135 | 2015 |
| HLIO: Mixing static and dynamic typing for information-flow control in Haskell P Buiras, D Vytiniotis, A Russo Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 106 | 2015 |
| Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014 | 102 | 2014 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 85* | 2013 |
| Boxy types: inference for higher-rank types and impredicativity D Vytiniotis, S Weirich, S Peyton Jones Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 85 | 2006 |
| Efficient differentiable programming in a functional array-processing language A Shaikhha, A Fitzgibbon, D Vytiniotis, S Peyton Jones Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019 | 75 | 2019 |
| HALO: Haskell to logic through denotational semantics D Vytiniotis, S Peyton Jones, K Claessen, D Rosén Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 75 | 2013 |
| Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming A Paszke, DD Johnson, D Duvenaud, D Vytiniotis, A Radul, MJ Johnson, ... Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 69 | 2021 |
| FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008 | 61 | 2008 |
| Diagnosing type errors with class D Zhang, AC Myers, D Vytiniotis, S Peyton-Jones Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 59 | 2015 |
| Equality proofs and deferred type errors: A compiler pearl D Vytiniotis, S Peyton Jones, JP Magalhães ACM SIGPLAN Notices 47 (9), 341-352, 2012 | 55 | 2012 |
Simon Peyton JonesEpic GamesVerified email at epicgames.com
