DT

David Tarditi

Microsoft: 22 patents #1,485 of 40,388Top 4%
Overall (All Time): #197,336 of 4,157,543Top 5%
22
Patents All Time

Issued Patents All Time

Patent #TitleCo-InventorsDate
8799882 Compiler support for optimizing decomposed software transactional memory operations Timothy L. Harris, Mark Ronald Plesko, Avraham E. Shinnar 2014-08-05
8074231 Configuration of isolated extensions and device drivers Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Orion Hodson, Michael F. Spear +3 more 2011-12-06
8032898 Kernel interface with categorized kernel objects Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Bjarne Steensgaard, Brian D. Zill 2011-10-04
7861237 Reducing unnecessary software transactional memory operations on newly-allocated data Mark Ronald Plesko 2010-12-28
7810085 Removal of unnecessary read-to-update upgrades in software transactional memory Avraham E. Shinnar, Timothy L. Harris, Mark Ronald Plesko 2010-10-05
7800620 Optimizing automated shader program construction Vivian Sewelson 2010-09-21
7788652 Representing type information in a compiler and programming tools framework Mark Ronald Plesko 2010-08-31
7733347 Automated construction of shader programs Vivian Sewelson 2010-06-08
7707566 Software development infrastructure Vinod Grover, Charles Mitchell, David Gillies, Mark Roberts, Mark Ronald Plesko +4 more 2010-04-27
7685581 Type system for representing and checking consistency of heterogeneous program components during the process of compilation Mark Ronald Plesko 2010-03-23
7607125 Programming language support for integrating undo and exception handling Avraham E. Shinnar, Bjarne Steensgaard 2009-10-20
7598953 Interpreter for simplified programming of graphics processor units in general purpose programming languages Raymond E. Endres, Vivian Sewelson 2009-10-06
7512938 Typed intermediate representation for object-oriented languages Juan Chen 2009-03-31
7509338 Compact garbage collection tables 2009-03-24
7472145 Compact garbage collection tables 2008-12-30
7386843 Method and system for register allocation 2008-06-10
7305666 Description language for an extensible compiler and tools infrastructure Julian Burger, Charles Mitchell, Andrew E. Ayers, Vinod Grover 2007-12-04
7146606 General purpose intermediate representation of software for software development tools Charles Mitchell, Julian Burger, Vinod Grover 2006-12-05
7085789 Compact garbage collection tables 2006-08-01
7086041 Extensible type system for representing and checking consistency of program components during the process of compilation Mark Ronald Plesko 2006-08-01
6925639 Method and system for register allocation 2005-08-02
6625808 Method and apparatus for facilitating memory management in a program comprised of heterogeneous components 2003-09-23