LexDanaLexDanabeta
Inventor

Dinghao Wu

Inventor
Redmond, WA, US

Overview

2→
Patents
2008–2013
Patent span
Physics
Primary field (CPC G)

Patents· 2 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
8,510,722'Detecting data race and atomicity violation via typestate-guided static analysis'20137,316,005'Data race detection using sequential program analysis'2008

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2008–2013Patents assigned to MICROSOFT CORP (2)· patent assignee history
2008Based in Princeton, NJ, US· patent location history
2013Patents assigned to GRINGAUZE ANNA (1)· patent assignee history
2013Patents assigned to ROHDE HENNING K (1)· patent assignee history
2013Patents assigned to WU DINGHAO (1)· patent assignee history
2013Patents assigned to YANG YUE (1)· patent assignee history
2013Based in Redmond, WA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP22008–2013
GRINGAUZE ANNA12013
ROHDE HENNING K12013
WU DINGHAOself12013
YANG YUE12013
Locations
LocationPatentsSpan
Redmond, Washington, US12013
Princeton, New Jersey, US12008