Shaz Qadeer has been granted 16 US patents while listed as an inventor at Microsoft . The first was granted in 2005 and the most recent in August 2019. Shaz Qadeer ranks #284,196 of 4,157,543 US inventors in our database (top 6.8%). Patent records list Shaz Qadeer in Seattle, WA, US.
Patents per Year Patents granted per year, 2005 to 2019 Bar chart with a peak of 3 patents in 2010. peak 3 2005: 1 patents 2005 2008: 1 patents 2008 2009: 2 patents 2009 2010: 3 patents 2010 2011: 1 patents 2011 2014: 1 patents 2014 2015: 3 patents 2015 2016: 2 patents 2016 2019: 2 patents 2019
Issued Patents All Time
Profile Widget
Showing 1–16 of 16 patents
Patent # Title Co-Inventors Date Approx Value ⓘ
10380008 Identifying implicit assumptions associated with a software product Rui WANG , Yuchen Zhou , Shuo Chen , Yuri Gurevich 2019-08-13
$69,160,000
10255153 Systematic testing of failover and recovery for distributed system components Narayanan Ganapathy , Akash Lal 2019-04-09
9372785 Identifying implicit assumptions associated with a software product Rui WANG , Yuchen Zhou , Shuo Chen , Yuri Gurevich 2016-06-21
$57,727,000
9329877 Static verification of parallel program code Alastair Francis Donaldson 2016-05-03
$30,562,000
9063778 Fair stateless model checking Madanlal Musuvathi 2015-06-23
$32,988,000
9053227 Concurrent assertion Jacob Burnim , Madanlal Musuvathi 2015-06-09
$39,913,000
9015674 Identifying execution paths that satisfy reachability queries Robert DeLine , Mike Barnett , Akash Lal 2015-04-21
$29,497,000
8813043 Unifying type checking and property checking for low level programs Jeremy P. Condit , Shuvendu K. Lahiri 2014-08-19
$30,011,000
7926035 Testing multi-thread software using prioritized context switch limits Madanlal Musuvathi 2011-04-12
$11,368,000
7779382 Model checking with bounded context switches Niels Jakob Rehof 2010-08-17
$13,094,000
7752605 Precise data-race detection using locksets Tayfun Elmas 2010-07-06
$19,949,000
7650595 Sound transaction-based reduction without cycle detection Sriram K. Rajamani , Vladimir A. Levin , Robert A. Palmer, Jr. 2010-01-19
$36,771,000
7555418 Procedure summaries for multithreaded software Niels Jakob Rehof , Sriram K. Rajamani 2009-06-30
$33,649,000
7526750 Object-based systematic state space exploration of software Anthony D. Andrews , Niels Jakob Rehof , Sriram K. Rajamani , Yichen Xie 2009-04-28
$32,077,000
7316005 Data race detection using sequential program analysis Dinghao Wu 2008-01-01
6892319 Method for verifying abstract memory models of shared memory multiprocessors — 2005-05-10
$10,962,000
