| 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 | 536 | 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 | 447 | 2006 |
| Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005 | 424 | 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 | 358 | 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 | 284 | 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 | 236 | 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 | 167 | 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 | 140 | 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 | 130 | 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 | 98 | 2015 |
| Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014 | 97 | 2014 |
| 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 | 82 | 2006 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 80* | 2013 |
| 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 | 78 | 2013 |
| 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 | 66 | 2019 |
| AMPNet: Asynchronous model-parallel training for dynamic neural networks AL Gaunt, MA Johnson, M Riechert, D Tarlow, R Tomioka, D Vytiniotis, ... arXiv preprint arXiv:1705.09786, 2017 | 60 | 2017 |
| FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008 | 60 | 2008 |
| 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 | 57 | 2021 |
| 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 | 56 | 2015 |
| Generative type abstraction and type-level computation S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic ACM SIGPLAN Notices 46 (1), 227-240, 2011 | 52 | 2011 |
Simon Peyton JonesEpic Gamesepicgames.com의 이메일 확인됨