Dimitrios Vytiniotis

Cited by

	All	Since 2016
Citations	3120	1598
h-index	25	21
i10-index	39	33

380

190

285

2005200620072008200920102011201220132014201520162017201820192020202124 79 91 123 115 121 108 172 181 199 262 251 286 337 379 332 9

Co-authors

Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Kapil VaswaniMicrosoft ResearchVerified email at microsoft.com
Manuel CostaMicrosoft ResearchVerified email at microsoft.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Antonio CriminisiResearch Manager at AmazonVerified email at microsoft.com
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Bozidar RadunovicMicrosoft ResearchVerified email at microsoft.com
Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Mahanth GowdaAssistant Professor, EECS, Pennsylvania State UniversityVerified email at psu.edu
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
Gordon StewartAssistant Professor, Ohio UniversityVerified email at ohio.edu
José Pedro MagalhãesStandard CharteredVerified email at cs.ox.ac.uk
Yani A. IoannouGoogle - Visiting ResearcherVerified email at google.com

Dimitrios Vytiniotis

DeepMind

Verified email at google.com

programming languages type systems functional programming compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Simple unification-based type inference for GADTs S Peyton Jones, D Vytiniotis, S Weirich, G Washburn ACM SIGPLAN Notices 41 (9), 50-61, 2006	411	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	366	2005
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	242	2016
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	205	2012
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	202	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	199	2007
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	129	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	128	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	95	2015
Biodegradable oxidized cellulose esters V Kumar, Y Dong US Patent 7,595,392, 2009	83*	2009
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	77	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	75	2006
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	70	2013
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	65	2015
Testing noninterference, quickly C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ... Journal of Functional Programming 26, 2016	60	2016
Generative type abstraction and type-level computation S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic ACM SIGPLAN Notices 46 (1), 227-240, 2011	49	2011
FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008	47	2008
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	46	2012
Let should not be generalized D Vytiniotis, S Peyton Jones, T Schrijvers Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010	40	2010
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	37	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors