Finally, a recent picture! Microsoft Research logo

Patrice Godefroid

Email: pg AT
Mail: Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA

Welcome to my new web-page! I am a Principal Researcher in the RiSE group at Microsoft Research.

My main area of research is program specification, analysis, testing and verification.

My main research topic during the last 20 years has been software model checking in a broad sense. Currently, I am working mostly on automating software testing (and test generation in particular) using static and dynamic program analysis. This approach to software model checking via systematic testing combines program analysis, testing, model checking and theorem proving. It is implemented in Microsoft tools like SAGE, PEX and YOGI.

Since joining Microsoft, my main project has been SAGE, a whitebox fuzzer for security testing. SAGE extends systematic dynamic test generation (introduced in DART) to handle large applications and is optimized for long symbolic executions at the x86 binary level. So far, SAGE has found many new expensive security bugs in many Windows applications, and is now used daily in various Microsoft groups. More information on the research behind SAGE can be found in the papers below. See also SAGE in one slide (old version) and SAGE for dummies (10min video).

In 2015, I co-founded Project Springfield and served as its CTO. Springfield is the first commercial cloud fuzzing service, now available in public preview. In May 2017, Project Springfield was renamed as Microsoft Security Risk Detection.

Here is a very brief bio, a less brief bio, and a (not so recent) research overview. My h-index is growing faster than my age (but for how long?).

Some On-line Talks:

Some Professional Activities: Member of the program committee for the conferences

Some Software: (publicly available)

Some Publications: in reverse chronological order; see also my Publications by Themes

Previous Publications (1990-1994)

Copyright Notice: The above material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Some Words of Wisdom (Quotes)