Mark Ronald Plesko

Person

Kirkland, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Compiler support for optimizing decomposed software transactional m...
- Patent number 8,799,882
- Issue date Aug 5, 2014
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coordinating chores in a multiprocessing environment using a compil...
- Patent number 8,352,711
- Issue date Jan 8, 2013
- Microsoft Corporation
- Eric Dean Tribble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing unnecessary software transactional memory operations on ne...
- Patent number 7,861,237
- Issue date Dec 28, 2010
- Microsoft Corporation
- David Read Tarditi, Jr.
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Removal of unnecessary read-to-update upgrades in software transact...
- Patent number 7,810,085
- Issue date Oct 5, 2010
- Microsoft Corporation
- Avraham E. Shinnar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Representing type information in a compiler and programming tools f...
- Patent number 7,788,652
- Issue date Aug 31, 2010
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software development infrastructure
- Patent number 7,707,566
- Issue date Apr 27, 2010
- Microsoft Corporation
- Vinod K. Grover
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type system for representing and checking consistency of heterogene...
- Patent number 7,685,581
- Issue date Mar 23, 2010
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Filtering of transactional memory operations using associative tables
- Patent number 7,590,806
- Issue date Sep 15, 2009
- Microsoft Corporation
- Timothy Lawrence Harris
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extensible type system for representing and checking consistency of...
- Patent number 7,086,041
- Issue date Aug 1, 2006
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
COORDINATING CHORES IN A MULTIPROCESSING ENVIRONMENT
- Publication number 20090187893
- Publication date Jul 23, 2009
- Microsoft Corporation
- Eric Dean Tribble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compiler support for optimizing decomposed software transactional m...
- Publication number 20070169030
- Publication date Jul 19, 2007
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Filtering of transactional memory operations using associative tables
- Publication number 20070143360
- Publication date Jun 21, 2007
- Microsoft Corporation
- Timothy Lawrence Harris
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Removal of unnecessary read-to-update upgrades in software transact...
- Publication number 20070136290
- Publication date Jun 14, 2007
- Microsoft Corporation
- Avraham E. Shinnar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reducing unnecessary software transactional memory operations on ne...
- Publication number 20070136365
- Publication date Jun 14, 2007
- Microsoft Corporation
- David Read Tarditi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY...
- Publication number 20060242628
- Publication date Oct 26, 2006
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type system for representing and checking consistency of heterogene...
- Publication number 20050015673
- Publication date Jan 20, 2005
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Representing type information in a compiler and programming tools f...
- Publication number 20040268307
- Publication date Dec 30, 2004
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software development infrastructure
- Publication number 20040268309
- Publication date Dec 30, 2004
- Microsoft Corporation
- Vinod K. Grover
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Extensible type system for representing and checking consistency of...
- Publication number 20040268328
- Publication date Dec 30, 2004
- Microsoft Corporation
- Mark Ronald Plesko
- G06 - COMPUTING CALCULATING COUNTING

Mark Ronald Plesko

Person

Patents Grantslast 30 patents

Compiler support for optimizing decomposed software transactional m...

Coordinating chores in a multiprocessing environment using a compil...

Reducing unnecessary software transactional memory operations on ne...

Removal of unnecessary read-to-update upgrades in software transact...

Representing type information in a compiler and programming tools f...

Software development infrastructure

Type system for representing and checking consistency of heterogene...

Filtering of transactional memory operations using associative tables

Extensible type system for representing and checking consistency of...

Patents Applicationslast 30 patents

COORDINATING CHORES IN A MULTIPROCESSING ENVIRONMENT

Compiler support for optimizing decomposed software transactional m...

Filtering of transactional memory operations using associative tables

Removal of unnecessary read-to-update upgrades in software transact...

Reducing unnecessary software transactional memory operations on ne...

AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY...

Type system for representing and checking consistency of heterogene...

Representing type information in a compiler and programming tools f...

Software development infrastructure

Extensible type system for representing and checking consistency of...