☰

Dimitrios Vytiniotis, Ph.D.

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Theory: Formal Methods and Logic; Programming Languages and Program Analysis
Google:
"Dimitrios Vytiniotis"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Stephanie Weirich grad student 2008 Penn
 (Practical type inference for first-class polymorphism.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Zhang D, Myers AC, Vytiniotis D, et al. (2017) SHErrLoc: A Static Holistic Error Locator Acm Transactions On Programming Languages and Systems. 39: 18
Vazou N, Seidel EL, Jhala R, et al. (2014) Refinement types for Haskell Acm Sigplan Notices. 49: 269-282
Eisenberg RA, Vytiniotis D, Peyton Jones S, et al. (2014) Closed type families with overlapping equations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 671-683
Sergey I, Vytiniotis D, Peyton Jones S. (2014) Modular, higher-order cardinality analysis in theory and practice Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 335-347
Vytiniotis D, Jones SP. (2013) Evidence normalization in system FC Leibniz International Proceedings in Informatics, Lipics. 21: 20-38
Vytiniotis D, Jones SP, Magalhães JP. (2012) Equality proofs and deferred type errors a compiler pearl Acm Sigplan Notices. 47: 341-352
Vytiniotis D, Peyton Jones S, Magalhães JP. (2012) Equality proofs and deferred type errors: A compiler pearl Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 341-352
Yorgey BA, Weirich S, Cretin J, et al. (2012) Giving haskell a promotion Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 53-65
Kennedy AJ, Vytiniotis D. (2012) Every bit counts: The binary representation of typed data and programs Journal of Functional Programming. 22: 529-573
Weirich S, Vytiniotis D, Jones SP, et al. (2011) Generative type abstraction and type-level computation Acm Sigplan Notices. 46: 227-239
See more...