| Talk (patrice-TomBall60-2026.pdf) | 1.36MiB |
Patrice Godefroid is a (Senior) Partner Software Engineer at Microsoft. 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 AT&T/Lucent Bell Laboratories, where he was promoted to “distinguished member of technical staff” in 2001. From 2006 to 2021, he worked at Microsoft Research, where he was promoted to Partner Researcher in 2012. From 2022 to 2024, he was a Distinguished Engineer at Lacework. His area of expertise includes software model checking, program analysis, testing, verification, security, and software engineering.
Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change
Tue 16 Jun
Displayed time zone: Mountain Time (US & Canada) change
13:40 - 15:20 | |||
13:40 25mTalk | Ju-jitsu with Ball-Larus (& Melski-Reps) or "We will publish no algorithm before its time" Tom Ball @ Sixty Thomas Reps University of Wisconsin-Madison File Attached | ||
14:05 25mTalk | Having a Ball with Tom since 1994 Tom Ball @ Sixty Patrice Godefroid Microsoft, USA File Attached | ||
14:30 25mTalk | The Question That Launched a Thousand Derivatives Tom Ball @ Sixty Margus Veanes Microsoft Research File Attached | ||
14:55 25mTalk | Tracing the Ball-istic Trajectory of My Research: From Randoop to FastF, Memory Models and Semantic Merging Tom Ball @ Sixty Shuvendu K. Lahiri Microsoft Research File Attached | ||