Machine Learning and Programming Languages: latest directions and research opportunities
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
Tue 17 Jan
|16:00 - 16:30|
|16:30 - 17:00|
|17:00 - 18:00|