Dimitrios Vytiniotis
Google DeepMind (United Kingdom)(GB)Google (United Kingdom)(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Engineering Research, Security and Verification in Computing
Most-Cited Works
- → Simple unification-based type inference for GADTs(2006)335 cited
- → Mechanized Metatheory for the Masses: The PoplMark Challenge(2005)300 cited
- → Refinement types for Haskell(2014)240 cited
- → Practical type inference for arbitrary-rank types(2006)209 cited
- → Giving Haskell a promotion(2012)172 cited
- → OutsideIn(X)Modular type inference with local assumptions(2011)131 cited
- → Measuring Neural Net Robustness with Constraints(2016)115 cited