Patrice Godefroid

Registered user since Fri 12 Jun 2015

Name: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.

Country:United States
Affiliation:Microsoft Research, USA
Research interests:Software Model Checking, Program Analysis, Testing, Verification, Security, Software Engineering


SAS 2021 Committee Member in Program Committee within the SAS-track
SPIN 2021 Committee Member in Programming Committee within the SPIN-track
ISSTA 2020 Author of Differential Regression Testing for REST APIs within the Technical Papers-track
ESEC/FSE 2020 Author of Intelligent REST API Data Fuzzing within the Research Papers-track
ICST 2020 Author of Checking Security Properties of Cloud Service REST APIs within the Industry Track-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
ICSE 2021 Author of Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub within the SEIP - Software Engineering in Practice-track
SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
ISSTA 2019 Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track
ICSE 2019 Author of REST-ler: Stateful REST API Fuzzing within the Technical Track-track
SPIN 2017 Committee Member in Program Committee
PLDI 2016 Committee Member in Program Committee
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track