Xuezheng Liu

Person

Beijing, CN

People

Patents Grantslast 30 patents

Information Patent Grant
Analysis and detection of soft hang responsiveness program errors
- Patent number 8,166,464
- Issue date Apr 24, 2012
- Microsoft Corporation
- Haoxiang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicate checking for distributed systems
- Patent number 8,121,824
- Issue date Feb 21, 2012
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Collection-based object replication
- Patent number 8,117,155
- Issue date Feb 14, 2012
- Microsoft Corporation
- Wei Chen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Distributed system checker
- Patent number 7,984,332
- Issue date Jul 19, 2011
- Microsoft Corporation
- Junfeng Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicate checking for distributed systems
- Patent number 7,933,759
- Issue date Apr 26, 2011
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Replaying distributed systems
- Patent number 7,925,487
- Issue date Apr 12, 2011
- Microsoft Corporation
- Wei Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Online predicate checking for distributed systems
- Patent number 7,747,742
- Issue date Jun 29, 2010
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Strong routing consistency protocol in structured peer-to-peer over...
- Patent number 7,673,069
- Issue date Mar 2, 2010
- Microsoft Corporation
- Wei Chen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
Predicate Checking for Distributed Systems
- Publication number 20110178788
- Publication date Jul 21, 2011
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED SYSTEM CHECKER
- Publication number 20100125758
- Publication date May 20, 2010
- Microsoft Corporation
- Junfeng Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANNOTATION-AIDED CODE GENERATION IN LIBRARY-BASED REPLAY
- Publication number 20090327995
- Publication date Dec 31, 2009
- Microsoft Corporation
- Zhenyu Guo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Analysis and Detection of Responsiveness Bugs
- Publication number 20090328002
- Publication date Dec 31, 2009
- Microsoft Corporation
- Haoxiang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS
- Publication number 20090327458
- Publication date Dec 31, 2009
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPACE SEPARATION FOR A LIBRARY BASED RECORD AND REPLAY TOOL
- Publication number 20090328079
- Publication date Dec 31, 2009
- Microsoft Corportion
- Zhenyu Guo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Predicate Checking for Distributed Systems
- Publication number 20090248381
- Publication date Oct 1, 2009
- Microsoft Corporation
- Xuezheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Replaying Distributed Systems
- Publication number 20090006064
- Publication date Jan 1, 2009
- Microsoft Corporation
- Wei Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Collection-Based Object Replication
- Publication number 20080005199
- Publication date Jan 3, 2008
- Microsoft Corporation
- Wei Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Strong routing consistency protocol in structured peer-to-peer over...
- Publication number 20070204061
- Publication date Aug 30, 2007
- Microsoft Corporation
- Wei Chen
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Xuezheng Liu

Person

Patents Grantslast 30 patents

Analysis and detection of soft hang responsiveness program errors

Predicate checking for distributed systems

Collection-based object replication

Distributed system checker

Predicate checking for distributed systems

Replaying distributed systems

Online predicate checking for distributed systems

Strong routing consistency protocol in structured peer-to-peer over...

Patents Applicationslast 30 patents

Predicate Checking for Distributed Systems

DISTRIBUTED SYSTEM CHECKER

ANNOTATION-AIDED CODE GENERATION IN LIBRARY-BASED REPLAY

Analysis and Detection of Responsiveness Bugs

ONLINE PREDICATE CHECKING FOR DISTRIBUTED SYSTEMS

SPACE SEPARATION FOR A LIBRARY BASED RECORD AND REPLAY TOOL

Predicate Checking for Distributed Systems

Replaying Distributed Systems

Collection-Based Object Replication

Strong routing consistency protocol in structured peer-to-peer over...