David Read Tarditi JR.

Person

Kirkland, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Compiler support for optimizing decomposed software transactional m...
- Patent number 8,799,882
- Issue date Aug 5, 2014
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configuration of isolated extensions and device drivers
- Patent number 8,074,231
- Issue date Dec 6, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Kernel interface with categorized kernel objects
- Patent number 8,032,898
- Issue date Oct 4, 2011
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact garbage collection tables
- Patent number 7,509,338
- Issue date Mar 24, 2009
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact garbage collection tables
- Patent number 7,472,145
- Issue date Dec 30, 2008
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for register allocation
- Patent number 7,386,843
- Issue date Jun 10, 2008
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compact garbage collection tables
- Patent number 7,085,789
- Issue date Aug 1, 2006
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for register allocation
- Patent number 6,925,639
- Issue date Aug 2, 2005
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for facilitating memory management in a progra...
- Patent number 6,625,808
- Issue date Sep 23, 2003
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Kernel Interface with Categorized Kernel Objects
- Publication number 20080005750
- Publication date Jan 3, 2008
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compiler support for optimizing decomposed software transactional m...
- Publication number 20070169030
- Publication date Jul 19, 2007
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Removal of unnecessary read-to-update upgrades in software transact...
- Publication number 20070136290
- Publication date Jun 14, 2007
- Microsoft Corporation
- Avraham E. Shinnar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reducing unnecessary software transactional memory operations on ne...
- Publication number 20070136365
- Publication date Jun 14, 2007
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Configuration of Isolated Extensions and Device Drivers
- Publication number 20070094673
- Publication date Apr 26, 2007
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Statically Verifiable Inter-Process-Communicative Isolated Processes
- Publication number 20070094495
- Publication date Apr 26, 2007
- Microsoft Corporation
- Galen C. Hunt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY...
- Publication number 20060242628
- Publication date Oct 26, 2006
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Typed intermediate representation for object-oriented languages
- Publication number 20060212861
- Publication date Sep 21, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type checker for a typed intermediate representation of object-orie...
- Publication number 20060212847
- Publication date Sep 21, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Interpreter for simplified programming of graphics processor units...
- Publication number 20060107250
- Publication date May 18, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Programming language support for integrating undo and exception han...
- Publication number 20060101420
- Publication date May 11, 2006
- Microsoft Corporation
- Avraham E. Shinnar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automated construction of shader programs
- Publication number 20060098019
- Publication date May 11, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Optimizing automated shader program construction
- Publication number 20060098018
- Publication date May 11, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Interpreter for simplified programming of graphics processor units...
- Publication number 20060098017
- Publication date May 11, 2006
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Description language for an extensible compiler and tools infrastru...
- Publication number 20050022161
- Publication date Jan 27, 2005
- Microsoft Corporation
- Julian Burger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type system for representing and checking consistency of heterogene...
- Publication number 20050015673
- Publication date Jan 20, 2005
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Representing type information in a compiler and programming tools f...
- Publication number 20040268307
- Publication date Dec 30, 2004
- Microsoft Corporation
- Mark Ronald Plesko
- 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
Extensible type system for representing and checking consistency of...
- Publication number 20040268328
- Publication date Dec 30, 2004
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
General purpose intermediate representation of software for softwar...
- Publication number 20040268331
- Publication date Dec 30, 2004
- Microsoft Corporation
- Charles L. Mitchell
Information Patent Application
Method and system for register allocation
- Publication number 20040226005
- Publication date Nov 11, 2004
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for register allocation
- Publication number 20020170044
- Publication date Nov 14, 2002
- Microsoft Corporation
- David R. Tarditi
- G06 - COMPUTING CALCULATING COUNTING

David Read Tarditi JR.

Person

Patents Grantslast 30 patents

Compiler support for optimizing decomposed software transactional m...

Configuration of isolated extensions and device drivers

Kernel interface with categorized kernel objects

Compact garbage collection tables

Compact garbage collection tables

Method and system for register allocation

Compact garbage collection tables

Method and system for register allocation

Method and apparatus for facilitating memory management in a progra...

Patents Applicationslast 30 patents

Kernel Interface with Categorized Kernel Objects

Compiler support for optimizing decomposed software transactional m...

Removal of unnecessary read-to-update upgrades in software transact...

Reducing unnecessary software transactional memory operations on ne...

Configuration of Isolated Extensions and Device Drivers

Statically Verifiable Inter-Process-Communicative Isolated Processes

AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY...

Typed intermediate representation for object-oriented languages

Type checker for a typed intermediate representation of object-orie...

Interpreter for simplified programming of graphics processor units...

Programming language support for integrating undo and exception han...

Automated construction of shader programs

Optimizing automated shader program construction

Interpreter for simplified programming of graphics processor units...

Description language for an extensible compiler and tools infrastru...

Type system for representing and checking consistency of heterogene...

Representing type information in a compiler and programming tools f...

Software development infrastructure

Extensible type system for representing and checking consistency of...

General purpose intermediate representation of software for softwar...

Method and system for register allocation

Method and system for register allocation