Jonathan Paul de Halleux

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Electronic prototyping interoperability
- Patent number 12,308,586
- Issue date May 20, 2025
- Microsoft Technology Licensing, LLC
- Stephen Edward Hodges
- H01 - BASIC ELECTRIC ELEMENTS
Information Patent Grant
Modular electronic prototyping platforms
- Patent number 12,177,969
- Issue date Dec 24, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward Hodges
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Grant
Generating program fragments using keywords and context information
- Patent number 9,448,772
- Issue date Sep 20, 2016
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interface development and operation
- Patent number 9,286,038
- Issue date Mar 15, 2016
- Microsoft Technology Licensing, LLC
- Sebastian C Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contextually intelligent code editing
- Patent number 9,239,708
- Issue date Jan 19, 2016
- Microsoft Technology Licensing, LLC
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling the release of private information using static flow an...
- Patent number 9,104,528
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Media files including programming code and description
- Patent number 8,949,771
- Issue date Feb 3, 2015
- Microsoft Corporation
- Michal J. Moskal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating type-safe wrappers for dynamic detouring
- Patent number 8,726,239
- Issue date May 13, 2014
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic finite automata
- Patent number 8,515,891
- Issue date Aug 20, 2013
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Whitebox trace fuzzing
- Patent number 8,387,016
- Issue date Feb 26, 2013
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic runtime checking of quantified contracts
- Patent number 8,387,021
- Issue date Feb 26, 2013
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic query exploration
- Patent number 8,180,786
- Issue date May 15, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bounded program failure analysis and correction
- Patent number 7,882,495
- Issue date Feb 1, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized test driven development
- Patent number 7,681,180
- Issue date Mar 16, 2010
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Electronic Prototyping
- Publication number 20240008174
- Publication date Jan 4, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Application
Electronic Prototyping Interoperability
- Publication number 20240006833
- Publication date Jan 4, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H01 - BASIC ELECTRIC ELEMENTS
Information Patent Application
Electronic Prototyping
- Publication number 20230389175
- Publication date Nov 30, 2023
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Application
Interface Development and Operation
- Publication number 20140380205
- Publication date Dec 25, 2014
- Sebastian C. Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating Program Fragments Using Keywords and Context Information
- Publication number 20140282375
- Publication date Sep 18, 2014
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling the Release of Private Information Using Static Flow An...
- Publication number 20130152154
- Publication date Jun 13, 2013
- Microsoft Corporation
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Ranking Programs in a Marketplace System
- Publication number 20130151519
- Publication date Jun 13, 2013
- Microsoft Corporation
- Marat K. Akhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS
- Publication number 20130091444
- Publication date Apr 11, 2013
- Microsoft Corporation
- Jonathan Peli Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT
- Publication number 20130055138
- Publication date Feb 28, 2013
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTEXTUALLY INTELLIGENT CODE EDITING
- Publication number 20120167042
- Publication date Jun 28, 2012
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC FINITE AUTOMATA
- Publication number 20120130932
- Publication date May 24, 2012
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Query Exploration
- Publication number 20110055237
- Publication date Mar 3, 2011
- Microsoft Corporation
- Margus Veanes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Whitebox Trace Fuzzing
- Publication number 20100281460
- Publication date Nov 4, 2010
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Runtime Checking of Quantified Contracts
- Publication number 20100083233
- Publication date Apr 1, 2010
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION
- Publication number 20080313602
- Publication date Dec 18, 2008
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARAMETERIZED TEST DRIVEN DEVELOPMENT
- Publication number 20080307264
- Publication date Dec 11, 2008
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UTILIZING PRIOR USAGE DATA FOR SOFTWARE BUILD OPTIMIZATION
- Publication number 20080028378
- Publication date Jan 31, 2008
- Microsoft Corporation
- Surupa Biswas
- G06 - COMPUTING CALCULATING COUNTING

Jonathan Paul de Halleux

Person

Patents Grantslast 30 patents

Electronic prototyping interoperability

Modular electronic prototyping platforms

Generating program fragments using keywords and context information

Interface development and operation

Contextually intelligent code editing

Controlling the release of private information using static flow an...

Media files including programming code and description

Generating type-safe wrappers for dynamic detouring

Symbolic finite automata

Whitebox trace fuzzing

Symbolic runtime checking of quantified contracts

Symbolic query exploration

Bounded program failure analysis and correction

Parameterized test driven development

Patents Applicationslast 30 patents

Electronic Prototyping

Electronic Prototyping Interoperability

Electronic Prototyping

Interface Development and Operation

Generating Program Fragments Using Keywords and Context Information

Controlling the Release of Private Information Using Static Flow An...

Ranking Programs in a Marketplace System

AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS

DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT

CONTEXTUALLY INTELLIGENT CODE EDITING

SYMBOLIC FINITE AUTOMATA

Symbolic Query Exploration

Whitebox Trace Fuzzing

Symbolic Runtime Checking of Quantified Contracts

BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION

PARAMETERIZED TEST DRIVEN DEVELOPMENT

UTILIZING PRIOR USAGE DATA FOR SOFTWARE BUILD OPTIMIZATION