Dimitrios Vytiniotis - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2875	1622
h-index	25	21
i10-index	37	33

380

190

285

200520062007200820092010201120122013201420152016201720182019202024 78 89 122 117 121 108 172 181 200 258 248 286 336 380 110

Co-authors

Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Leonidas LampropoulosPostdoc between UPenn and UMDVerified email at umd.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
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Manuel CostaMicrosoft 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
Antonio CriminisiResearch Manager at AmazonVerified email at microsoft.com
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
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	401	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	354	2005
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	191	2012
Practical type inference for arbitrary-rank types SP Jones, D Vytiniotis, S Weirich, M Shields Journal of functional programming 17 (1), 1-82, 2007	191	2007
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	187	2016
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	172	2014
Complete and decidable type inference for GADTs T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis ACM Sigplan Notices 44 (9), 341-352, 2009	127	2009
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	119	2011
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	89	2015
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	74	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	72	2006
Biodegradable oxidized cellulose esters V Kumar, Y Dong US Patent 7,595,392, 2009	67	2009
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	66	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	60	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	56	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	48	2011
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	44	2012
FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008	44	2008
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	36	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	35	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