Dimitrios Vytiniotis

Citada per

	Totes	Des de 2020
Citacions	4437	1669
Índex h	31	19
Índex i10	53	37

380

190

285

20052006200720082009201020112012201320142015201620172018201920202021202220232024202546 79 102 126 116 119 111 162 179 201 229 240 291 344 367 336 361 335 297 306 32

Accés públic

Mostra-ho tot

4 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Simon Peyton JonesEpic GamesCorreu electrònic verificat a epicgames.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandCorreu electrònic verificat a umd.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenCorreu electrònic verificat a cs.kuleuven.be
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Antonio CriminisiPartner Research Lead at Microsoft CorporationCorreu electrònic verificat a microsoft.com
Osbert BastaniUniversity of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Kapil VaswaniMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Manuel CostaMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Bozidar RadunovicMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Yani IoannouAssistant Professor, Schulich Research Chair, University of CalgaryCorreu electrònic verificat a ucalgary.ca
Aditya NoriMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesCorreu electrònic verificat a h-ka.de
Nate FosterProfessor of Computer Science, Cornell UniversityCorreu electrònic verificat a cs.cornell.edu
Eric L SeidelBloombergCorreu electrònic verificat a seidel.io
Niki VazouIMDEA Software InstituteCorreu electrònic verificat a cs.umd.edu
Mahanth GowdaAssociate Professor, Computer Science, Pennsylvania State UniversityCorreu electrònic verificat a psu.edu
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityCorreu electrònic verificat a drexel.edu
Gordon StewartBedRock Systems, Inc.Correu electrònic verificat a bedrocksystems.com

Segueix

Dimitrios Vytiniotis

DeepMind

Correu electrònic verificat a google.com

programming languages type systems functional programming compilers


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	541	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	450	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	421	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	362	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	280	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	231	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	162	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	141	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	132	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	99	2015
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	93	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	79*	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	77	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	67	2019
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	62	2017
FPH: First-class polymorphism for Haskell D Vytiniotis, S Weirich, S Peyton Jones ACM Sigplan Notices 43 (9), 295-306, 2008	60	2008
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	58	2015
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	55	2021
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	53	2012

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors