Theo dõi
Dimitrios Vytiniotis
Dimitrios Vytiniotis
DeepMind
Email được xác minh tại google.com
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
5412016
Simple unification-based type inference for GADTs
S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
ACM SIGPLAN Notices 41 (9), 50-61, 2006
4502006
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
4212005
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
3622014
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17 (1), 1-82, 2007
2802007
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
2312012
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
1622011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1412009
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
1322015
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
992015
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
932014
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
822006
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
79*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
772013
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
672019
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
622017
FPH: First-class polymorphism for Haskell
D Vytiniotis, S Weirich, S Peyton Jones
ACM Sigplan Notices 43 (9), 295-306, 2008
602008
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
582015
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
552021
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
532012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20