Patrice Godefroid

Person

Mercer Island, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Instruction-level threat assessment
- Patent number 12,095,796
- Issue date Sep 17, 2024
- LACEWORK, INC.
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Intelligently fuzzing data to exercise a service
- Patent number 11,321,219
- Issue date May 3, 2022
- Microsoft Technology Licensing, LLC
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Machine learning for input fuzzing
- Patent number 10,983,853
- Issue date Apr 20, 2021
- Microsoft Technology Licensing, LLC
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic intelligent cloud service testing tool
- Patent number 10,977,161
- Issue date Apr 13, 2021
- Microsoft Technology Licensing, LLC
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing kernel mode computer code by executing the computer code in...
- Patent number 10,846,211
- Issue date Nov 24, 2020
- Microsoft Technology Licensing, LLC
- Barry C. Bond
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cloud architecture for automated testing
- Patent number 10,635,476
- Issue date Apr 28, 2020
- Microsoft Technology Licensing, LLC
- William Blum
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic context-sensitive sanitization
- Patent number 9,882,923
- Issue date Jan 30, 2018
- Microsoft Technology Licensing, LLC
- David Molnar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Micro-execution for software testing
- Patent number 9,552,285
- Issue date Jan 24, 2017
- Microsoft Technology Licensing, LLC
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic context-sensitive sanitization
- Patent number 8,898,776
- Issue date Nov 25, 2014
- Microsoft Corporation
- David Molnar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Memory safety of floating-point computations
- Patent number 8,782,625
- Issue date Jul 15, 2014
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental compositional dynamic test generation
- Patent number 8,578,344
- Issue date Nov 5, 2013
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Active property checking
- Patent number 8,549,486
- Issue date Oct 1, 2013
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DETECTING ANOMALOUS EVENTS THROUGH APPLICATION OF ANOMALY DETECTION...
- Publication number 20220382860
- Publication date Dec 1, 2022
- Microsoft Technology Licensing, LLC
- Itay ARGOETY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTELLIGENTLY FUZZING DATA TO EXERCISE A SERVICE
- Publication number 20210216435
- Publication date Jul 15, 2021
- Microsoft Technology Licensing, LLC
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC INTELLIGENT CLOUD SERVICE TESTING TOOL
- Publication number 20190370152
- Publication date Dec 5, 2019
- Microsoft Technology Licensing, LLC
- Patrice GODEFROID
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING KERNEL MODE COMPUTER CODE BY EXECUTING THE COMPUTER CODE IN...
- Publication number 20190294537
- Publication date Sep 26, 2019
- Microsoft Technology Licensing, LLC
- Barry C. BOND
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cloud Architecture for Automated Testing
- Publication number 20180329788
- Publication date Nov 15, 2018
- Microsoft Technology Licensing, LLC
- William Blum
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MACHINE LEARNING FOR INPUT FUZZING
- Publication number 20180285186
- Publication date Oct 4, 2018
- Microsoft Technology Licensing, LLC
- Patrice GODEFROID
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CONTEXT-SENSITIVE SANITIZATION
- Publication number 20150082439
- Publication date Mar 19, 2015
- Microsoft Corporation
- DAVID MOLNAR
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
MICRO-EXECUTION FOR SOFTWARE TESTING
- Publication number 20140331204
- Publication date Nov 6, 2014
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CONTEXT-SENSITIVE SANITIZATION
- Publication number 20120167209
- Publication date Jun 28, 2012
- Microsoft Corporation
- David Molnar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION
- Publication number 20110314454
- Publication date Dec 22, 2011
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY SAFETY OF FLOATING-POINT COMPUTATIONS
- Publication number 20110314251
- Publication date Dec 22, 2011
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMBINATION MAY-MUST CODE ANALYSIS
- Publication number 20100251221
- Publication date Sep 30, 2010
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACTIVE PROPERTY CHECKING
- Publication number 20090265692
- Publication date Oct 22, 2009
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING

Patrice Godefroid

Person

Patents Grantslast 30 patents

Instruction-level threat assessment

Intelligently fuzzing data to exercise a service

Machine learning for input fuzzing

Automatic intelligent cloud service testing tool

Testing kernel mode computer code by executing the computer code in...

Cloud architecture for automated testing

Automatic context-sensitive sanitization

Micro-execution for software testing

Automatic context-sensitive sanitization

Memory safety of floating-point computations

Incremental compositional dynamic test generation

Active property checking

Patents Applicationslast 30 patents

DETECTING ANOMALOUS EVENTS THROUGH APPLICATION OF ANOMALY DETECTION...

INTELLIGENTLY FUZZING DATA TO EXERCISE A SERVICE

AUTOMATIC INTELLIGENT CLOUD SERVICE TESTING TOOL

TESTING KERNEL MODE COMPUTER CODE BY EXECUTING THE COMPUTER CODE IN...

Cloud Architecture for Automated Testing

MACHINE LEARNING FOR INPUT FUZZING

AUTOMATIC CONTEXT-SENSITIVE SANITIZATION

MICRO-EXECUTION FOR SOFTWARE TESTING

AUTOMATIC CONTEXT-SENSITIVE SANITIZATION

INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION

MEMORY SAFETY OF FLOATING-POINT COMPUTATIONS

COMBINATION MAY-MUST CODE ANALYSIS

ACTIVE PROPERTY CHECKING