Michael Magruder

Person

Carnation, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Dynamic device clustering
- Patent number 10,353,803
- Issue date Jul 16, 2019
- Facebook, Inc.
- Eun Chang Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling exceptions related to corrupt application state
- Patent number 10,346,199
- Issue date Jul 9, 2019
- Microsoft Technology Licensing, LLC
- Andrew J. Pardoe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques to identify and purge unused code
- Patent number 9,727,318
- Issue date Aug 8, 2017
- Facebook, Inc.
- Barak Reuven Naveh
- G06 - COMPUTING CALCULATING COUNTING
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
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
Loop control flow diversion
- Patent number 8,887,142
- Issue date Nov 11, 2014
- Microsoft Corporation
- Scott Mosier
- 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
Contract failure behavior with escalation policy
- Patent number 8,782,607
- Issue date Jul 15, 2014
- Microsoft Corporation
- Melitta L. G. Andersen
- 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
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
Type descriptor management for frozen objects
- Patent number 8,316,357
- Issue date Nov 20, 2012
- Microsoft Corporation
- Scott D. Mosier
- 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
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
Flexible base class library
- Patent number 8,271,938
- Issue date Sep 18, 2012
- Microsoft Corporation
- Patrick H. Dussud
- 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
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
Exception raised notification
- Patent number 8,074,116
- Issue date Dec 6, 2011
- Microsoft Corporation
- Andrew J. Pardoe
- 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
Information Patent Grant
Transactional memory using buffered writes and enforced serializati...
- Patent number 7,908,255
- Issue date Mar 15, 2011
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling falsely doomed parents of nested transactions
- Patent number 7,899,999
- Issue date Mar 1, 2011
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Facilitating stack read and write operations in a software transact...
- Patent number 7,895,582
- Issue date Feb 22, 2011
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DYNAMIC DEVICE CLUSTERING
- Publication number 20190057019
- Publication date Feb 21, 2019
- FACEBOOK, INC.
- Eun Chang Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES TO IDENTIFY AND PURGE UNUSED CODE
- Publication number 20150234652
- Publication date Aug 20, 2015
- Barak Reuven Naveh
- 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
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
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
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
LOOP CONTROL FLOW DIVERSION
- Publication number 20110225213
- Publication date Sep 15, 2011
- Microsoft Corporation
- Scott Mosier
- 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
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
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
EXCEPTION RAISED NOTIFICATION
- Publication number 20100287414
- Publication date Nov 11, 2010
- Microsoft Corporation
- Andrew J. Pardoe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HANDLING EXCEPTIONS RELATED TO CORRUPT APPLICATION STATE
- Publication number 20100262814
- Publication date Oct 14, 2010
- Microsoft Corporation
- Andrew J. Pardoe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY
- Publication number 20100218169
- Publication date Aug 26, 2010
- Microsoft Corporation
- Melitta L. G. Andersen
- 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
FLEXIBLE BASE CLASS LIBRARY
- Publication number 20100058283
- Publication date Mar 4, 2010
- Microsoft Corporation
- Patrick H. Dussud
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE DESCRIPTOR MANAGEMENT FOR FROZEN OBJECTS
- Publication number 20100058304
- Publication date Mar 4, 2010
- Microsoft Corporation
- Scott D. Mosier
- 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 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
Information Patent Application
Handling falsely doomed parents of nested transactions
- Publication number 20090006404
- Publication date Jan 1, 2009
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Using type stability to facilitate contention management
- Publication number 20090006405
- Publication date Jan 1, 2009
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMBINED PESSIMISTIC AND OPTIMISTIC CONCURRENCY CONTROL
- Publication number 20080319997
- Publication date Dec 25, 2008
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING

Michael Magruder

Person

Patents Grantslast 30 patents

Dynamic device clustering

Handling exceptions related to corrupt application state

Techniques to identify and purge unused code

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

Parallel nested transactions in transactional memory

Primitives for software transactional memory

Loop control flow diversion

Optimizing primitives in software transactional memory

Contract failure behavior with escalation policy

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

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

Type descriptor management for frozen objects

Parallel nested transactions in transactional memory

Parallel nested transactions in transactional memory

Flexible base class library

Transactional memory compatibility management

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

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

Exception raised notification

Using type stability to facilitate contention management

Parallel nested transactions in transactional memory

Transactional memory using buffered writes and enforced serializati...

Handling falsely doomed parents of nested transactions

Facilitating stack read and write operations in a software transact...

Patents Applicationslast 30 patents

DYNAMIC DEVICE CLUSTERING

TECHNIQUES TO IDENTIFY AND PURGE UNUSED CODE

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

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

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

COMPOSITION OF LOCKS IN SOFTWARE TRANSACTIONAL MEMORY

USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT

LOOP CONTROL FLOW DIVERSION

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

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

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

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

EXCEPTION RAISED NOTIFICATION

HANDLING EXCEPTIONS RELATED TO CORRUPT APPLICATION STATE

CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY

STM WITH GLOBAL VERSION OVERFLOW HANDLING

TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT

FLEXIBLE BASE CLASS LIBRARY

TYPE DESCRIPTOR MANAGEMENT FOR FROZEN OBJECTS

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

Efficient retry for transactional memory

Parallel nested transactions in transactional memory

Handling falsely doomed parents of nested transactions

Using type stability to facilitate contention management

COMBINED PESSIMISTIC AND OPTIMISTIC CONCURRENCY CONTROL