Inventor
TARDITI JR DAVID READ
US14 patents
⚠️ This page may combine multiple inventors who share the name “TARDITI JR DAVID READ”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
13 patentsUS7810085B2Oct 5, 2010
Removal of unnecessary read-to-update upgrades in software transactional memory
MICROSOFT CORP58 citations97
US7086041B2Aug 1, 2006
Extensible type system for representing and checking consistency of program components during the process of compilation
MICROSOFT CORP66 citations97
US7861237B2Dec 28, 2010
Reducing unnecessary software transactional memory operations on newly-allocated data
MICROSOFT CORP26 citations95
US7146606B2Dec 5, 2006
General purpose intermediate representation of software for software development tools
MICROSOFT CORP60 citations95
US7800620B2Sep 21, 2010
Optimizing automated shader program construction
MICROSOFT CORP35 citations91
US7598953B2Oct 6, 2009
Interpreter for simplified programming of graphics processor units in general purpose programming languages
MICROSOFT CORP47 citations91
US7707566B2Apr 27, 2010
Software development infrastructure
MICROSOFT CORP40 citations90
US7305666B2Dec 4, 2007
Description language for an extensible compiler and tools infrastructure
MICROSOFT CORP51 citations90
US7788652B2Aug 31, 2010
Representing type information in a compiler and programming tools framework
MICROSOFT CORP13 citations83
US7685581B2Mar 23, 2010
Type system for representing and checking consistency of heterogeneous program components during the process of compilation
MICROSOFT CORP19 citations83
US7607125B2Oct 20, 2009
Programming language support for integrating undo and exception handling
MICROSOFT CORP14 citations83
US7733347B2Jun 8, 2010
Automated construction of shader programs
MICROSOFT CORP13 citations82
US7512938B2Mar 31, 2009
Typed intermediate representation for object-oriented languages
MICROSOFT CORP6 citations62