Osbert Bastani: Beyond deductive inference in program analysis. Stanford University, USA 2017