Inventor · disambiguated record
Shaz Qadeer
Also filed as: QADEER SHAZ
16 granted patents·2 pending applications·210 citations·filing 2001–2022
93Inventor score
Files withMICROSOFT CORP10MICROSOFT TECHNOLOGY LICENSING LLC2BURNIM JACOB SAMUELS1CONDIT JEREMY P1DONALDSON ALASTAIR FRANCIS1
Top patents by PatentIndex Score
18 records- 0188US10255153B2Systematic testing of failover and recovery for distributed system componentsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Apr 9, 2019·7 cites·20 claims
- 0288US7752605B2Precise data-race detection using locksetsMICROSOFT CORP·Filed 2006·Granted Jul 6, 2010·32 cites·17 claims
- 0385US9372785B2Identifying implicit assumptions associated with a software productMICROSOFT CORP·Filed 2013·Granted Jun 21, 2016·7 cites·20 claims
- 0484US7926035B2Testing multi-thread software using prioritized context switch limitsMICROSOFT CORP·Filed 2007·Granted Apr 12, 2011·14 cites·17 claims
- 0582US7316005B2Data race detection using sequential program analysisMICROSOFT CORP·Filed 2004·Granted Jan 1, 2008·44 cites·18 claims
- 0681US7650595B2Sound transaction-based reduction without cycle detectionMICROSOFT CORP·Filed 2005·Granted Jan 19, 2010·12 cites·17 claims
- 0776US9015674B2Identifying execution paths that satisfy reachability queriesMICROSOFT CORP·Filed 2012·Granted Apr 21, 2015·5 cites·20 claims
- 0874US9329877B2Static verification of parallel program codeDONALDSON ALASTAIR FRANCIS·Filed 2012·Granted May 3, 2016·10 cites·20 claims
- 0974US7526750B2Object-based systematic state space exploration of softwareMICROSOFT CORP·Filed 2004·Granted Apr 28, 2009·25 cites·33 claims
- 1072US7555418B1Procedure summaries for multithreaded softwareMICROSOFT CORP·Filed 2003·Granted Jun 30, 2009·19 cites·19 claims
- 1171US2022269672A1Scalable, secure, efficient, and adaptable distributed digital ledger transaction networkMETA PLATFORMS INC·Filed 2022·Application pending·0 cites
- 1269US7779382B2Model checking with bounded context switchesMICROSOFT CORP·Filed 2004·Granted Aug 17, 2010·17 cites·15 claims
- 1368US6892319B2Method for verifying abstract memory models of shared memory multiprocessorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted May 10, 2005·14 cites·10 claims
- 1466US8813043B2Unifying type checking and property checking for low level programsCONDIT JEREMY P·Filed 2008·Granted Aug 19, 2014·4 cites·18 claims
- 1551US10380008B2Identifying implicit assumptions associated with a software productMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Aug 13, 2019·0 cites·20 claims
- 1645US9053227B2Concurrent assertionBURNIM JACOB SAMUELS·Filed 2012·Granted Jun 9, 2015·0 cites·18 claims
- 1744US9063778B2Fair stateless model checkingMUSUVATHI MADANLAL·Filed 2008·Granted Jun 23, 2015·0 cites·20 claims
- 1842US2006247907A1Deciding assertions in programs with referencesMICROSOFT CORP·Filed 2005·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Shaz Qadeer files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →