Future of Software Engineering session





Future of Software Engineering 4
June 6th, Friday, 10:30 am - 12:30 pm
Session Chair: Margaret Burnett
Room: Hall 2


10:30 - 11:00 How Programming Languages Will Co-evolve with Software Engineering: A Bright Decade Ahead
Emerson Murphy-Hill and Dan Grossman
North Carolina State University, USA; University of Washington, USA
11:00 - 11:30 Software Engineering and Automated Deduction
Willem Visser, Nikolaj Bjørner, and Natarajan Shankar
Stellenbosch University, South Africa; Microsoft Research, USA; SRI Computer Science Lab, USA
11:30 - 12:00 Probabilistic Programming
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani
Microsoft Research, UK; IST Austria, Austria; Microsoft Research, India