Dimitrios Vytiniotis
Dimitrios Vytiniotis
Microsoft Research
Verified email at microsoft.com
TitleCited byYear
Simple unification-based type inference for GADTs
S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
ACM SIGPLAN Notices 41 (9), 50-61, 2006
3732006
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
3272005
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17 (1), 1-82, 2007
1742007
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
1712012
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
ACM SIGPLAN Notices 49 (9), 269-282, 2014
1432014
Complete and decidable type inference for GADTs
T Schrijvers, SP Jones, M Sulzmann, D Vytiniotis
1212009
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems, 2613-2621, 2016
1012016
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
982011
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
712015
Boxy types: inference for higher-rank types and impredicativity
D Vytiniotis, S Weirich, S Peyton Jones
ACM SIGPLAN Notices 41 (9), 251-262, 2006
672006
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
582014
HALO: Haskell to logic through denotational semantics
D Vytiniotis, S Peyton Jones, K Claessen, D Rosén
ACM Sigplan Notices 48 (1), 431-442, 2013
582013
Biodegradable oxidized cellulose esters
V Kumar, Y Dong
US Patent 7,595,392, 2009
492009
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
462013
Generative type abstraction and type-level computation
S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic
ACM SIGPLAN Notices 46 (1), 227-240, 2011
442011
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
412012
HLIO: Mixing static and dynamic typing for information-flow control in Haskell
P Buiras, D Vytiniotis, A Russo
ACM SIGPLAN Notices 50 (9), 289-301, 2015
372015
FPH: First-class polymorphism for Haskell
D Vytiniotis, S Weirich, S Peyton Jones
ACM Sigplan Notices 43 (9), 295-306, 2008
362008
An open and shut typecase
D Vytiniotis, G Washburn, S Weirich
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in …, 2005
352005
Rhea: automatic filtering for unstructured cloud storage
C Gkantsidis, D Vytiniotis, O Hodson, D Narayanan, F Dinu, A Rowstron
Presented as part of the 10th {USENIX} Symposium on Networked Systems Design …, 2013
322013
The system can't perform the operation now. Try again later.
Articles 1–20