Dimitrios Vytiniotis

Cited by

	All	Since 2020
Citations	4430	1660
h-index	30	19
i10-index	54	37

380

190

285

20052006200720082009201020112012201320142015201620172018201920202021202220232024202547 77 102 126 115 119 109 161 174 201 235 243 293 344 367 339 353 341 294 313 18

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Simon Peyton JonesEpic GamesVerified email at epicgames.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Antonio CriminisiPartner Research Lead at Microsoft CorporationVerified email at microsoft.com
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Kapil VaswaniMicrosoft ResearchVerified email at microsoft.com
Manuel CostaMicrosoft ResearchVerified email at microsoft.com
Bozidar RadunovicMicrosoft ResearchVerified email at microsoft.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Yani IoannouAssistant Professor, Schulich Research Chair, University of CalgaryVerified email at ucalgary.ca
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Mahanth GowdaAssociate Professor, Computer Science, Pennsylvania State UniversityVerified email at psu.edu
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
Gordon StewartBedRock Systems, Inc.Verified email at bedrocksystems.com
Eric L SeidelBloombergVerified email at seidel.io
Niki VazouIMDEA Software InstituteVerified email at cs.umd.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
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	533	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	447	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	424	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	358	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	284	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	236	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	167	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	140	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	130	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	98	2015
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	97	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	82	2006
Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013	80*	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	78	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	66	2019
FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008	60	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	59	2017
Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming A Paszke, DD Johnson, D Duvenaud, D Vytiniotis, A Radul, MJ Johnson, ... Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021	57	2021
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	56	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	52	2011

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

Follow

Cited by

Co-authors