Abstract: The increased availability of massive codebases (e.g., GitHub), a term referred to as “Big Code”, creates an exciting opportunity for new kinds of programming tools based on probabilistic models. Enabled by these models, tomorrow’s tools will provide statistically likely solutions to programming tasks that are difficult or impossible to solve with traditional techniques
Bio: Martin Vechev is a tenure-track assistant professor at the Department of Computer Science at ETH Zurich where he leads the Software Reliability Lab (http://www.srl.inf.ethz.ch/). Prior to joining ETH in 2012, he was a Research Staff Member at the IBM T.J. Watson Research Center in New York, USA. Before that he obtained his PhD at the University of Cambridge, England. His research interests are in programming languages, program analysis, synthesis and machine learning. He is the recipient of various awards, including Google and Facebook Faculty Awards, Best paper and Outstanding artifact awards, John Atanasoff award, ERC Starting Grant, as well as Outstanding and Extraordinary Research Accomplishment awards at IBM Research. Martin Vechev is a keynote speaker at ISSTA 2016.