Dinghao Wu

Follow

Person

Princeton, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Detecting data race and atomicity violation via typestate-guided st...
- Patent number 8,510,722
- Issue date Aug 13, 2013
- Microsoft Corporation
- Yue Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data race detection using sequential program analysis
- Patent number 7,316,005
- Issue date Jan 1, 2008
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DETECTING DATA RACE AND ATOMICITY VIOLATION VIA TYPESTATE-GUIDED ST...
- Publication number 20110022893
- Publication date Jan 27, 2011
- Microsoft Corporation
- Yue Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Data race detection using sequential program analysis
- Publication number 20050177775
- Publication date Aug 11, 2005
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING