POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 16:00 - 16:30 at Salle 107, Barre 44-54 - Session IV

In this talk, I will give an overview of some of the latest research directions our group is pursuing at the intersection of machine learning and programming languages. I will discuss two general directions: (i) applying and developing new machine learning models for solving programming tasks (http://plml.ethz.ch/). This direction leads to new kinds of statistical programming tools that can solve problems in reliability and security that are difficult to solve otherwise, and (ii) I will also briefly discuss the direction of probabilistic programming, our recent PSI exact inference solver (http://psisolver.org/) and its applications to various application domains including networks, security and cyber-physical systems.

Bio: I am a tenure-track Assistant Professor of Computer Science at ETH Zurich (since 2012) where I lead the Software Reliability Lab. Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York (2007 - 2011). I obtained my PhD from the University of Cambridge in 2008. I am interested in program analysis, program synthesis, application of machine learning to programming languages, and concurrency. I have given a number of invited and keynote talks on these topics at various conferences and workshops including: WoDet’11, HVC’14, PLACES’15, TCE’15, ML4PL’15, ISSTA’16, SOAP’16, SAS’16 and NAMPI’16 (co-located with NIPS’16). I am the PC Chair for PLDI’17. More information here: http://www.srl.inf.ethz.ch/vechev.php

slides (plmw-vechev.pdf)2.87MiB