LexDanaLexDanabeta
Inventor

Shaz Qadeer

Inventor
Seattle, WA, US

Overview

16→
Patents
2005–2019
Patent span
Physics
Primary field (CPC G)

Patents· 16 as inventor

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

G06Fprimary
G06FElectric digital data processing89%
H04LTransmission of digital information, e.g. telegraphic communication11%
PatentTitleYear
10,380,008Identifying implicit assumptions associated with a software product201910,255,153Systematic testing of failover and recovery for distributed system components20199,372,785'Identifying implicit assumptions associated with a software product'20169,329,877'Static verification of parallel program code'20169,063,778'Fair stateless model checking'20159,053,227'Concurrent assertion'20159,015,674'Identifying execution paths that satisfy reachability queries'20158,813,043'Unifying type checking and property checking for low level programs'20147,926,035'Testing multi-thread software using prioritized context switch limits'20117,779,382'Model checking with bounded context switches'20107,752,605'Precise data-race detection using locksets'20107,650,595'Sound transaction-based reduction without cycle detection'20107,555,418'Procedure summaries for multithreaded software'20097,526,750'Object-based systematic state space exploration of software'20097,316,005'Data race detection using sequential program analysis'20086,892,319'Method for verifying abstract memory models of shared memory multiprocessors'2005

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2005Based in San Francisco, CA, US· patent location history
2008–2016Patents assigned to MICROSOFT CORP (10)· patent assignee history
2008–2019Based in Seattle, WA, US· patent location history
2014–2016Patents assigned to QADEER SHAZ (4)· patent assignee history
2015–2019Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (7)· patent assignee history
2015Patents assigned to MUSUVATHI MADANLAL (2)· patent assignee history
2015Patents assigned to BURNIM JACOB SAMUELS (1)· patent assignee history
2015–2019Based in Mercer Island, WA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP102008–2016
MICROSOFT TECHNOLOGY LICENSING LLC72015–2019
QADEER SHAZself42014–2016
MUSUVATHI MADANLAL22015
BURNIM JACOB SAMUELS12015
Locations
LocationPatentsSpan
Seattle, Washington, US112008–2019
Mercer Island, Washington, US42015–2019
San Francisco, California, US12005