09:00-09:15 Opening

09:15-10:30 Patrice Godefroid

Patrice Godefroid is a Principal Researcher at Microsoft Research. He received a B.S. degree in Electrical Engineering (Computer Science elective) and a Ph.D. degree in Computer Science from the University of Liege, Belgium, in 1989 and 1994 respectively. From 1994 to 2006, he worked at Bell Laboratories (part of Lucent Technologies), where he was promoted to “distinguished member of technical staff” in 2001. His research interests include program (mostly software) specification, analysis, testing and verification.

Title: From Dynamic Software Model Checking to Better Beer

Abstract: Dynamic software model checking consists of adapting model checking into a form of systematic testing that is applicable to industrial-size software. When I started research on this topic more than 20 years ago, I never imagined that it could one day help improve beer making. This talk will present this unexpected journey. Specifically (spoiler alert!), some key milestones are the birth of dynamic software model checking, DART, SAGE, how we deployed SAGE on a large scale inside Microsoft to find many security vulnerabilities, and how we recently launched the first commercial cloud fuzzing service, named Project Springfield.

In short, if you like model checking or beer, don’t miss this talk!

10:30-11:00 Break

11:00-12:30 Session I

12:30-14:00 Lunch

14:00-15:30 Session II

15:30-16:00 Break

16:00-16:30 Session III (short papers)
session chair: Kasper Luckow

16:30-17:50 JPF Open Discussion
17:50-18:00 Closing