David M. Gillies

Person

Cupertino, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Differentiated static analysis for dynamic code optimization
- Patent number 10,521,208
- Issue date Dec 31, 2019
- Microsoft Technology Licensing, LLC
- Morgan Asher Brown
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Preparation for software on demand system
- Patent number 8,434,079
- Issue date Apr 30, 2013
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software development infrastructure
- Patent number 7,707,566
- Issue date Apr 27, 2010
- Microsoft Corporation
- Vinod K. Grover
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for rewriting unwind data in the presence of exce...
- Patent number 7,426,719
- Issue date Sep 16, 2008
- Microsoft Corporation
- Ronnie Ira Chaiken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assigning free register to unmaterialized predicate in inverse pred...
- Patent number 7,350,061
- Issue date Mar 25, 2008
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Preparation for software on demand system
- Patent number 7,228,540
- Issue date Jun 5, 2007
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software on demand system
- Patent number 7,213,245
- Issue date May 1, 2007
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining guarding predicate from partition graph based deduction...
- Patent number 7,203,936
- Issue date Apr 10, 2007
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Translation and transformation of heterogeneous programs
- Patent number 7,197,748
- Issue date Mar 27, 2007
- Microsoft Corporation
- Ronnie I. Chaiken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for obtaining scratch registers in computer execu...
- Patent number 6,854,110
- Issue date Feb 8, 2005
- Microsoft Corporation
- David M. Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for binary-level branch reversal on computer architectures s...
- Patent number 6,834,383
- Issue date Dec 21, 2004
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Translation and transformation of heterogeneous programs
- Patent number 6,802,056
- Issue date Oct 5, 2004
- Microsoft Corporation
- Ronnie I. Chaiken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method for incrementally update static single assignm...
- Patent number 6,249,910
- Issue date Jun 19, 2001
- Hewlett-Packard Company
- Dz-ching Ju
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for eliminating phi instruction resource interfer...
- Patent number 6,182,284
- Issue date Jan 30, 2001
- Hewlett-Packard Company
- Vugranam C. Sreedhar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for solving general global data flow predicated c...
- Patent number 5,943,499
- Issue date Aug 24, 1999
- Hewlett-Packard Company
- David M. Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Global control flow treatment of predicated code
- Patent number 5,937,195
- Issue date Aug 10, 1999
- Hewlett-Packard Co.
- Dz-ching Ju
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DIFFERENTIATED STATIC ANALYSIS FOR DYNAMIC CODE OPTIMIZATION
- Publication number 20180373515
- Publication date Dec 27, 2018
- Microsoft Technology Licensing, LLC
- MORGAN ASHER BROWN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Preparation for Software on Demand System
- Publication number 20080034346
- Publication date Feb 7, 2008
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for binary-level branch reversal on computer architectures s...
- Publication number 20050125785
- Publication date Jun 9, 2005
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for binary-level branch reversal on computer architectures s...
- Publication number 20050034113
- Publication date Feb 10, 2005
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Translation and transformation of heterogeneous programs
- Publication number 20050010891
- Publication date Jan 13, 2005
- Microsoft Corporation
- Ronnie I. Chaiken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software development infrastructure
- Publication number 20040268309
- Publication date Dec 30, 2004
- Microsoft Corporation
- Vinod K. Grover
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software on demand system
- Publication number 20030217196
- Publication date Nov 20, 2003
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Preparation for software on demand system
- Publication number 20030217197
- Publication date Nov 20, 2003
- Microsoft Corporation
- Hon Keat W. Chan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for binary-level branch reversal on computer architectures s...
- Publication number 20030101335
- Publication date May 29, 2003
- Microsoft Corporation
- David Mitford Gillies
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for rewriting unwind data in the presence of exce...
- Publication number 20030101380
- Publication date May 29, 2003
- Microsoft Corporation
- Ronnie Ira Chaiken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for obtaining scratch registers in computer execu...
- Publication number 20020083425
- Publication date Jun 27, 2002
- Microsoft Corporation
- David M. Gillies
- G06 - COMPUTING CALCULATING COUNTING

David M. Gillies

Person

Patents Grantslast 30 patents

Differentiated static analysis for dynamic code optimization

Preparation for software on demand system

Software development infrastructure

Method and system for rewriting unwind data in the presence of exce...

Assigning free register to unmaterialized predicate in inverse pred...

Preparation for software on demand system

Software on demand system

Determining guarding predicate from partition graph based deduction...

Translation and transformation of heterogeneous programs

System and method for obtaining scratch registers in computer execu...

Method for binary-level branch reversal on computer architectures s...

Translation and transformation of heterogeneous programs

Apparatus and method for incrementally update static single assignm...

Method and system for eliminating phi instruction resource interfer...

System and method for solving general global data flow predicated c...

Global control flow treatment of predicated code

Patents Applicationslast 30 patents

DIFFERENTIATED STATIC ANALYSIS FOR DYNAMIC CODE OPTIMIZATION

Preparation for Software on Demand System

Method for binary-level branch reversal on computer architectures s...

Method for binary-level branch reversal on computer architectures s...

Translation and transformation of heterogeneous programs

Software development infrastructure

Software on demand system

Preparation for software on demand system

Method for binary-level branch reversal on computer architectures s...

Method and system for rewriting unwind data in the presence of exce...

System and method for obtaining scratch registers in computer execu...