Zhenyu Guo

Person

Beijing, CN

People

Patents Grantslast 30 patents

Information Patent Grant
Data-parallel computation management
- Patent number 9,383,982
- Issue date Jul 5, 2016
- Microsoft Technology Licensing, LLC
- Jiaxing Zhang
- G06 - COMPUTING CALCULATING COUNTING
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
Distributed system checker
- Patent number 7,984,332
- Issue date Jul 19, 2011
- Microsoft Corporation
- Junfeng Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hybrid programming
- Patent number 7,865,911
- Issue date Jan 4, 2011
- Microsoft Corporation
- Shiding 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

Patents Applicationslast 30 patents

Information Patent Application
Data-Parallel Computation Management
- Publication number 20140075161
- Publication date Mar 13, 2014
- Microsoft Corporation
- Jiaxing Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Program Partition For Targeted Replay
- Publication number 20120131559
- Publication date May 24, 2012
- Microsoft Corporation
- Ming Wu
- 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
Hybrid programming
- Publication number 20070106997
- Publication date May 10, 2007
- Microsoft Corporation
- Shiding Lin
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Data-parallel computation management

Analysis and detection of soft hang responsiveness program errors

Distributed system checker

Hybrid programming

Online predicate checking for distributed systems

Patents Applicationslast 30 patents

Data-Parallel Computation Management

Automatic Program Partition For Targeted Replay

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

Hybrid programming