Christopher Dern

Follow

Person

Kirkland, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Testing components for thread safety
- Patent number 8,433,954
- Issue date Apr 30, 2013
- Microsoft Corporation
- Sebastian C. Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrency test effectiveness via mutation testing and dynamic loc...
- Patent number 8,276,021
- Issue date Sep 25, 2012
- Microsoft Corporation
- Christopher William Dern
- 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
Checking transactional memory implementations
- Patent number 8,191,046
- Issue date May 29, 2012
- Microsoft Corporation
- Christopher Dern
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Testing Components for Thread Safety
- Publication number 20110258490
- Publication date Oct 20, 2011
- Microsoft Corporation
- Sebastian C. Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENCY TEST EFFICTIVENESS VIA MUTATION TESTING AND DYNAMIC LOC...
- Publication number 20110154121
- Publication date Jun 23, 2011
- Microsoft Corporation
- Christopher William Dern
- 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
TESTING STM USING NON-STM CODE
- Publication number 20100180257
- Publication date Jul 15, 2010
- Microsoft Corporation
- Christopher W. Dern
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHECKING TRANSACTIONAL MEMORY IMPLEMENTATIONS
- Publication number 20100088702
- Publication date Apr 8, 2010
- Microsoft Corporation
- Christopher Dern
- G06 - COMPUTING CALCULATING COUNTING