Dimitrios Vytiniotis

I am a research scientist for DeepMind in London, UK. Before joining DeepMind, I was a researcher in the Programming Principles and Tools Group at Microsoft Research Cambridge, UK.

dimitriv at gmail dot com.

Research

My work revolves around programming languages design and implementation, as well as the use of techniques from programming languages in other domains. I've worked on: design and implementation of programming languages, domain-specific languages, type systems and constraint solving (notably in the context of Haskell and the Glasgow Haskell Compiler), functional programming, static analyses and formal verification, use of symbolic techniques in problems in systems and machine learning, memory management and garbage collection; and compilation for high-performance signal processing applications and for AI accelerators.

In DeepMind I am thinking about:

  • Programming models, transformations, and compilation techniques targetting machine learning applications.
  • The integration of machine learning techniques in compilers and symbolic reasoning.

Opportunities

I am looking for brilliant PhD students working on programming languages and compilers to join me and the DeepMind Performance team for research internships.

If you are a researcher in programming languages aspiring to join our team in London to work in the intersection of PL and ML feel free to reach out and check out our careers page.

News

Our short note on The Differentiable Curry with Martin Abadi, Gordon Plotkin, Richard Wei, and Dan Belov will be presented at the NeurIPS 2019 workshop on Program Transformations for Machine Learning

Our paper Efficient Differentiable Programming in a Functional Array-Processing Language with Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones, and Christoph Koch is conditionally accepted in ICFP 2019. Work done while still at MSR.

Publications

DBLP Google Scholar

Service

I am honored to have served the programming languages community in various capacities:
  • Current: ACM SIGPLAN 2019 Research Highlights committee member.
  • Upcoming: PC member, PLDI 2020.
  • Types forum moderator, 2014-2017.
  • Member of IFIP WG2.8 on Functional Programming, local organizer for the 2015 meeting.
  • PC member (non-complete list): POPL 2019, ICFP 2018, PLDI 2018, Haskell 2016, ICFP 2016.
  • Co-organizer of the Programming Languages Mentoring Workshop (PLMW), 2016.

Awards