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
slides (plmw-vechev.pdf) | 2.88MiB |
Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 16:30 Talk | Machine Learning and Programming Languages: latest directions and research opportunities PLMW Martin VechevETH Zurich File Attached | ||
16:30 - 17:00 Talk | The Curse of Knowledge PLMW Benjamin C. PierceUniversity of Pennsylvania File Attached | ||
17:00 - 18:00 Talk | Young Researcher Panel Session PLMW Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University |