Dimitrios Vytiniotis - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2797	1552
h-index	25	21
i10-index	36	31

400

200

100

300

200520062007200820092010201120122013201420152016201720182019202024 79 91 123 115 121 107 170 182 198 253 234 288 340 392 41

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 seas.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
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
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Antonio CriminisiResearch Manager at AmazonVerified email at microsoft.com
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Aditya NoriSr. Principal Research Manager, Microsoft 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
Eric L SeidelUC San DiegoVerified email at cs.ucsd.edu

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	396	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	351	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	192	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	188	2007
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	170	2014
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	164	2016
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
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	117	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	84	2015
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	75	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	70	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	66	2013
Biodegradable oxidized cellulose esters V Kumar, Y Dong US Patent 7,595,392, 2009	63	2009
Testing noninterference, quickly C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ... Journal of Functional Programming 26, 2016	54	2016
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	54	2015
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	43	2012
FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008	42	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