Inventor · disambiguated record
David Tarditi
Also filed as: TARDITI DAVID R · TARDITI DAVID R JR · TARDITI JR DAVID READ
22 granted patents·4 pending applications·608 citations·filing 1999–2006
97Inventor score
Top patents by PatentIndex Score
26 records- 0197US7810085B2Removal of unnecessary read-to-update upgrades in software transactional memoryMICROSOFT CORP·Filed 2006·Granted Oct 5, 2010·58 cites·18 claims
- 0293US7861237B2Reducing unnecessary software transactional memory operations on newly-allocated dataMICROSOFT CORP·Filed 2006·Granted Dec 28, 2010·26 cites·20 claims
- 0393US7146606B2General purpose intermediate representation of software for software development toolsMICROSOFT CORP·Filed 2003·Granted Dec 5, 2006·60 cites·45 claims
- 0492US7800620B2Optimizing automated shader program constructionMICROSOFT CORP·Filed 2005·Granted Sep 21, 2010·35 cites·20 claims
- 0592US7086041B2Extensible type system for representing and checking consistency of program components during the process of compilationMICROSOFT CORP·Filed 2003·Granted Aug 1, 2006·66 cites·11 claims
- 0688US7598953B2Interpreter for simplified programming of graphics processor units in general purpose programming languagesMICROSOFT CORP·Filed 2004·Granted Oct 6, 2009·47 cites·23 claims
- 0787US7305666B2Description language for an extensible compiler and tools infrastructureMICROSOFT CORP·Filed 2003·Granted Dec 4, 2007·51 cites·33 claims
- 0884US6625808B1Method and apparatus for facilitating memory management in a program comprised of heterogeneous componentsMICROSOFT CORP·Filed 1999·Granted Sep 23, 2003·75 cites·50 claims
- 0983US8074231B2Configuration of isolated extensions and device driversHUNT GALEN C·Filed 2006·Granted Dec 6, 2011·20 cites·13 claims
- 1083US7707566B2Software development infrastructureMICROSOFT CORP·Filed 2003·Granted Apr 27, 2010·40 cites·26 claims
- 1181US7733347B2Automated construction of shader programsMICROSOFT CORP·Filed 2005·Granted Jun 8, 2010·13 cites·18 claims
- 1280US8032898B2Kernel interface with categorized kernel objectsMICROSOFT CORP·Filed 2006·Granted Oct 4, 2011·10 cites·14 claims
- 1379US7085789B1Compact garbage collection tablesMICROSOFT CORP·Filed 2001·Granted Aug 1, 2006·22 cites·18 claims
- 1476US8799882B2Compiler support for optimizing decomposed software transactional memory operationsTARDITI JR DAVID READ·Filed 2006·Granted Aug 5, 2014·11 cites·10 claims
- 1575US7509338B1Compact garbage collection tablesMICROSOFT CORP·Filed 2005·Granted Mar 24, 2009·5 cites·11 claims
- 1673US7685581B2Type system for representing and checking consistency of heterogeneous program components during the process of compilationMICROSOFT CORP·Filed 2003·Granted Mar 23, 2010·19 cites·27 claims
- 1771US7512938B2Typed intermediate representation for object-oriented languagesMICROSOFT CORP·Filed 2005·Granted Mar 31, 2009·6 cites·18 claims
- 1868US7607125B2Programming language support for integrating undo and exception handlingMICROSOFT CORP·Filed 2004·Granted Oct 20, 2009·14 cites·22 claims
- 1967US7788652B2Representing type information in a compiler and programming tools frameworkMICROSOFT CORP·Filed 2003·Granted Aug 31, 2010·13 cites·29 claims
- 2065US6925639B2Method and system for register allocationMICROSOFT CORP·Filed 2001·Granted Aug 2, 2005·9 cites·7 claims
- 2164US7386843B2Method and system for register allocationMICROSOFT CORP·Filed 2004·Granted Jun 10, 2008·8 cites·8 claims
- 2249US2006242628A1An extensible type system for representing and checking consistency of program components during the process of compilationMICROSOFT CORP·Filed 2006·Application pending·0 cites
- 2347US2006107250A1Interpreter for simplified programming of graphics processor units in general purpose programming languagesMICROSOFT CORP·Filed 2004·Application pending·0 cites
- 2444US2007094495A1Statically Verifiable Inter-Process-Communicative Isolated ProcessesMICROSOFT CORP·Filed 2006·Application pending·0 cites
- 2541US2006212847A1Type checker for a typed intermediate representation of object-oriented languagesMICROSOFT CORP·Filed 2005·Application pending·0 cites
- 2637US7472145B1Compact garbage collection tablesMICROSOFT CORP·Filed 2005·Granted Dec 30, 2008·0 cites·19 claims
Join the waitlist — get patent alerts
Get an alert when David Tarditi files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →