Dimitrios Vytiniotis
Dimitrios Vytiniotis
Verified email at
Cited by
Cited by
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
Simple unification-based type inference for GADTs
S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
ACM SIGPLAN Notices 41 (9), 50-61, 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
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
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17 (1), 1-82, 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
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
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 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
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
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 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
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 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
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
FPH: First-class polymorphism for Haskell
D Vytiniotis, S Weirich, S Peyton Jones
ACM Sigplan Notices 43 (9), 295-306, 2008
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
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
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
Generative type abstraction and type-level computation
S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic
ACM SIGPLAN Notices 46 (1), 227-240, 2011
The system can't perform the operation now. Try again later.
Articles 1–20