Dave Detlefs

Person

Issaquah, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Efficient garbage collection and exception handling in a hardware a...
- Patent number 9,658,880
- Issue date May 23, 2017
- Microsoft Technology Licensing, LLC
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel nested transactions in transactional memory
- Patent number 9,411,635
- Issue date Aug 9, 2016
- Microsoft Technology Licensing, LLC
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Action framework in software transactional memory
- Patent number 9,411,634
- Issue date Aug 9, 2016
- Microsoft Technology Licensing, LLC
- Lingli Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Array object concurrency in STM
- Patent number 9,239,803
- Issue date Jan 19, 2016
- Microsoft Technology Licensing, LLC
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Array object concurrency in STM
- Patent number 9,104,628
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Primitives for software transactional memory
- Patent number 9,047,139
- Issue date Jun 2, 2015
- Microsoft Technology Licensing, LLC
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type and length abstraction for data types
- Patent number 8,959,501
- Issue date Feb 17, 2015
- Microsoft Corporation
- Carol Thompson Eidt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Array object concurrency in STM
- Patent number 8,954,995
- Issue date Feb 10, 2015
- Microsoft Corporation
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pre-compiling hosted managed code
- Patent number 8,924,922
- Issue date Dec 30, 2014
- Microsoft Corporation
- Surupa Biswas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimizing primitives in software transactional memory
- Patent number 8,839,213
- Issue date Sep 16, 2014
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting race conditions with a software transactional memory system
- Patent number 8,769,514
- Issue date Jul 1, 2014
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Composition of locks in software transactional memory
- Patent number 8,719,515
- Issue date May 6, 2014
- Microsoft Corporation
- Sukhdeep S. Sodhi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
STM with global version overflow handling
- Patent number 8,627,292
- Issue date Jan 7, 2014
- Microsoft Corporation
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software transactional protection of managed pointers
- Patent number 8,601,456
- Issue date Dec 3, 2013
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using type stability to facilitate contention management
- Patent number 8,578,105
- Issue date Nov 5, 2013
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accelerating parallel transactions using cache resident transactions
- Patent number 8,533,440
- Issue date Sep 10, 2013
- Microsoft Corporation
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient garbage collection and exception handling in a hardware a...
- Patent number 8,402,218
- Issue date Mar 19, 2013
- Microsoft Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing mode switching in an unbounded transactional memory (UTM...
- Patent number 8,365,016
- Issue date Jan 29, 2013
- Intel Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compressed transactional locks in object headers
- Patent number 8,341,133
- Issue date Dec 25, 2012
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel nested transactions in transactional memory
- Patent number 8,271,464
- Issue date Sep 18, 2012
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent handling of exceptions in received aggregate exception s...
- Patent number 8,271,768
- Issue date Sep 18, 2012
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel nested transactions in transactional memory
- Patent number 8,271,465
- Issue date Sep 18, 2012
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transactional memory compatibility management
- Patent number 8,266,604
- Issue date Sep 11, 2012
- Microsoft Corporation
- Dana Groff
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware accelerated transactional memory system with open nested t...
- Patent number 8,229,907
- Issue date Jul 24, 2012
- Microsoft Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent exception handling using an aggregated exception structure
- Patent number 8,146,085
- Issue date Mar 27, 2012
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reader/writer lock with reduced cache contention
- Patent number 8,145,817
- Issue date Mar 27, 2012
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing mode switching in an unbounded transactional memory (UTM...
- Patent number 8,095,824
- Issue date Jan 10, 2012
- Intel Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transacting accesses via unmanaged pointers
- Patent number 8,032,870
- Issue date Oct 4, 2011
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using type stability to facilitate contention management
- Patent number 7,991,967
- Issue date Aug 2, 2011
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel nested transactions in transactional memory
- Patent number 7,962,456
- Issue date Jun 14, 2011
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ARRAY OBJECT CONCURRENCY IN STM
- Publication number 20150347323
- Publication date Dec 3, 2015
- Microsoft Technology Licensing, LLC
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARRAY OBJECT CONCURRENCY IN STM
- Publication number 20150127915
- Publication date May 7, 2015
- Microsoft Technology Licensing, LLC
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT GARBAGE COLLECTION AND EXCEPTION HANDLING IN A HARDWARE A...
- Publication number 20130238579
- Publication date Sep 12, 2013
- Microsoft Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY
- Publication number 20130018860
- Publication date Jan 17, 2013
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE AND LENGTH ABSTRACTION FOR DATA TYPES
- Publication number 20120151188
- Publication date Jun 14, 2012
- Microsoft Corporation
- Carol Thompson Eidt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Performing Mode Switching In An Unbounded Transactional Memory (UTM...
- Publication number 20120079215
- Publication date Mar 29, 2012
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACTION FRAMEWORK IN SOFTWARE TRANSACTIONAL MEMORY
- Publication number 20110314230
- Publication date Dec 22, 2011
- Microsoft Corporation
- Lingli Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPOSITION OF LOCKS IN SOFTWARE TRANSACTIONAL MEMORY
- Publication number 20110314244
- Publication date Dec 22, 2011
- Microsoft Corporation
- Sukhdeep S. Sodhi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRE-COMPILING HOSTED MANAGED CODE
- Publication number 20110307858
- Publication date Dec 15, 2011
- Microsoft Corporation
- Surupa Biswas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT
- Publication number 20110289288
- Publication date Nov 24, 2011
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Performing Mode Switching In An Unbounded Transactional Memory (UTM...
- Publication number 20110145637
- Publication date Jun 16, 2011
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT GARBAGE COLLECTION AND EXCEPTION HANDLING IN A HARDWARE A...
- Publication number 20110145304
- Publication date Jun 16, 2011
- Microsoft Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCELERATING PARALLEL TRANSACTIONS USING CACHE RESIDENT TRANSACTIONS
- Publication number 20110145553
- Publication date Jun 16, 2011
- Microsoft Corporation
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY
- Publication number 20110138145
- Publication date Jun 9, 2011
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENT EXCEPTION HANDLING
- Publication number 20110066834
- Publication date Mar 17, 2011
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY
- Publication number 20110040738
- Publication date Feb 17, 2011
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE ACCELERATED TRANSACTIONAL MEMORY SYSTEM WITH OPEN NESTED T...
- Publication number 20100332538
- Publication date Dec 30, 2010
- Microsoft Corporation
- Jan Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
READER/WRITER LOCK WITH REDUCED CACHE CONTENTION
- Publication number 20100275209
- Publication date Oct 28, 2010
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPEDITED COMPLETION OF A TRANSACTION IN STM
- Publication number 20100228929
- Publication date Sep 9, 2010
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STM WITH GLOBAL VERSION OVERFLOW HANDLING
- Publication number 20100211931
- Publication date Aug 19, 2010
- Microsoft Corporation
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT
- Publication number 20100191930
- Publication date Jul 29, 2010
- Microsoft Corporation
- Dana Groff
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARRAY OBJECT CONCURRENCY IN STM
- Publication number 20100083257
- Publication date Apr 1, 2010
- Microsoft Corporation
- Weirong Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPRESSED TRANSACTIONAL LOCKS IN OBJECT HEADERS
- Publication number 20090327636
- Publication date Dec 31, 2009
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRIMITIVES FOR SOFTWARE TRANSACTIONAL MEMORY
- Publication number 20090327291
- Publication date Dec 31, 2009
- Microsoft Corporation
- Yosseff Levanoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMIZING PRIMITIVES IN SOFTWARE TRANSACTIONAL MEMORY
- Publication number 20090328018
- Publication date Dec 31, 2009
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING RACE CONDITIONS WITH A SOFTWARE TRANSACTIONAL MEMORY SYSTEM
- Publication number 20090328019
- Publication date Dec 31, 2009
- Microsoft Corporation
- David L. Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parallel nested transactions in transactional memory
- Publication number 20090077083
- Publication date Mar 19, 2009
- Microsoft Corporation
- Micheal M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parallel nested transactions in transactional memory
- Publication number 20090077082
- Publication date Mar 19, 2009
- Microsoft Corporation,
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient retry for transactional memory
- Publication number 20090007070
- Publication date Jan 1, 2009
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parallel nested transactions in transactional memory
- Publication number 20090006407
- Publication date Jan 1, 2009
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING

Dave Detlefs

Person

Patents Grantslast 30 patents

Efficient garbage collection and exception handling in a hardware a...

Parallel nested transactions in transactional memory

Action framework in software transactional memory

Array object concurrency in STM

Array object concurrency in STM

Primitives for software transactional memory

Type and length abstraction for data types

Array object concurrency in STM

Pre-compiling hosted managed code

Optimizing primitives in software transactional memory

Detecting race conditions with a software transactional memory system

Composition of locks in software transactional memory

STM with global version overflow handling

Software transactional protection of managed pointers

Using type stability to facilitate contention management

Accelerating parallel transactions using cache resident transactions

Efficient garbage collection and exception handling in a hardware a...

Performing mode switching in an unbounded transactional memory (UTM...

Compressed transactional locks in object headers

Parallel nested transactions in transactional memory

Concurrent handling of exceptions in received aggregate exception s...

Parallel nested transactions in transactional memory

Transactional memory compatibility management

Hardware accelerated transactional memory system with open nested t...

Concurrent exception handling using an aggregated exception structure

Reader/writer lock with reduced cache contention

Performing mode switching in an unbounded transactional memory (UTM...

Transacting accesses via unmanaged pointers

Using type stability to facilitate contention management

Parallel nested transactions in transactional memory

Patents Applicationslast 30 patents

ARRAY OBJECT CONCURRENCY IN STM

ARRAY OBJECT CONCURRENCY IN STM

EFFICIENT GARBAGE COLLECTION AND EXCEPTION HANDLING IN A HARDWARE A...

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

TYPE AND LENGTH ABSTRACTION FOR DATA TYPES

Performing Mode Switching In An Unbounded Transactional Memory (UTM...

ACTION FRAMEWORK IN SOFTWARE TRANSACTIONAL MEMORY

COMPOSITION OF LOCKS IN SOFTWARE TRANSACTIONAL MEMORY

PRE-COMPILING HOSTED MANAGED CODE

USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT

Performing Mode Switching In An Unbounded Transactional Memory (UTM...

EFFICIENT GARBAGE COLLECTION AND EXCEPTION HANDLING IN A HARDWARE A...

ACCELERATING PARALLEL TRANSACTIONS USING CACHE RESIDENT TRANSACTIONS

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

CONCURRENT EXCEPTION HANDLING

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

HARDWARE ACCELERATED TRANSACTIONAL MEMORY SYSTEM WITH OPEN NESTED T...

READER/WRITER LOCK WITH REDUCED CACHE CONTENTION

EXPEDITED COMPLETION OF A TRANSACTION IN STM

STM WITH GLOBAL VERSION OVERFLOW HANDLING

TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT

ARRAY OBJECT CONCURRENCY IN STM

COMPRESSED TRANSACTIONAL LOCKS IN OBJECT HEADERS

PRIMITIVES FOR SOFTWARE TRANSACTIONAL MEMORY

OPTIMIZING PRIMITIVES IN SOFTWARE TRANSACTIONAL MEMORY

DETECTING RACE CONDITIONS WITH A SOFTWARE TRANSACTIONAL MEMORY SYSTEM

Parallel nested transactions in transactional memory

Parallel nested transactions in transactional memory

Efficient retry for transactional memory

Parallel nested transactions in transactional memory