Inventor
QADEER SHAZ
US16 patents
⚠️ This page may combine multiple inventors who share the name “QADEER SHAZ”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
9 patentsUS7526750B2Apr 28, 2009
Object-based systematic state space exploration of software
MICROSOFT CORP25 citations89
US7316005B2Jan 1, 2008
Data race detection using sequential program analysis
MICROSOFT CORP44 citations89
US7752605B2Jul 6, 2010
Precise data-race detection using locksets
MICROSOFT CORP32 citations88
US9372785B2Jun 21, 2016
Identifying implicit assumptions associated with a software product
MICROSOFT CORP7 citations84
US7926035B2Apr 12, 2011
Testing multi-thread software using prioritized context switch limits
MICROSOFT CORP14 citations83
US7650595B2Jan 19, 2010
Sound transaction-based reduction without cycle detection
MICROSOFT CORP12 citations83
US7779382B2Aug 17, 2010
Model checking with bounded context switches
MICROSOFT CORP17 citations82
US7555418B1Jun 30, 2009
Procedure summaries for multithreaded software
MICROSOFT CORP19 citations82
US9015674B2Apr 21, 2015
Identifying execution paths that satisfy reachability queries
MICROSOFT CORP5 citations70