Dimitrios Vytiniotis

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	4436	1669
h-index	31	19
i10-index	53	37

380

190

285

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

Δημόσια πρόσβαση

Προβολή όλων

4 άρθρα

0 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Simon Peyton JonesEpic GamesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα epicgames.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα umd.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.kuleuven.be
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Antonio CriminisiPartner Research Lead at Microsoft CorporationΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com
Osbert BastaniUniversity of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα seas.upenn.edu
Kapil VaswaniMicrosoft ResearchΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com
Manuel CostaMicrosoft ResearchΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com
Bozidar RadunovicMicrosoft ResearchΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com
Yani IoannouAssistant Professor, Schulich Research Chair, University of CalgaryΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ucalgary.ca
Aditya NoriMicrosoft ResearchΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα h-ka.de
Nate FosterProfessor of Computer Science, Cornell UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.cornell.edu
Eric L SeidelBloombergΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα seidel.io
Niki VazouIMDEA Software InstituteΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.umd.edu
Mahanth GowdaAssociate Professor, Computer Science, Pennsylvania State UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα psu.edu
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα drexel.edu
Gordon StewartBedRock Systems, Inc.Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bedrocksystems.com

Παρακολούθηση

Dimitrios Vytiniotis

DeepMind

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα google.com

programming languages type systems functional programming compilers


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
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	540	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

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς