Shaz Qadeer

Person

Mercer Island, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Identifying implicit assumptions associated with a software product
- Patent number 10,380,008
- Issue date Aug 13, 2019
- Microsoft Technology Licensing, LLC
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systematic testing of failover and recovery for distributed system...
- Patent number 10,255,153
- Issue date Apr 9, 2019
- Narayanan Ganapathy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying implicit assumptions associated with a software product
- Patent number 9,372,785
- Issue date Jun 21, 2016
- Microsoft Technology Licensing, LLC
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static verification of parallel program code
- Patent number 9,329,877
- Issue date May 3, 2016
- MICROSOFT TECHNOLOGY LICENSING, LLC
- Alastair Francis Donaldson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fair stateless model checking
- Patent number 9,063,778
- Issue date Jun 23, 2015
- Microsoft Technology Licensing, LLC
- Madanlal Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent assertion
- Patent number 9,053,227
- Issue date Jun 9, 2015
- Microsoft Technology Licensing, LLC
- Jacob Samuels Burnim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying execution paths that satisfy reachability queries
- Patent number 9,015,674
- Issue date Apr 21, 2015
- Microsoft Technology Licensing, LLC
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unifying type checking and property checking for low level programs
- Patent number 8,813,043
- Issue date Aug 19, 2014
- Microsoft Corporation
- Jeremy P. Condit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing multi-thread software using prioritized context switch limits
- Patent number 7,926,035
- Issue date Apr 12, 2011
- Microsoft Corporation
- Madanlal S. Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking with bounded context switches
- Patent number 7,779,382
- Issue date Aug 17, 2010
- Microsoft Corporation
- Niels Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Precise data-race detection using locksets
- Patent number 7,752,605
- Issue date Jul 6, 2010
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sound transaction-based reduction without cycle detection
- Patent number 7,650,595
- Issue date Jan 19, 2010
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Procedure summaries for multithreaded software
- Patent number 7,555,418
- Issue date Jun 30, 2009
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Object-based systematic state space exploration of software
- Patent number 7,526,750
- Issue date Apr 28, 2009
- Microsoft Corporation
- Anthony D. Andrews
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data race detection using sequential program analysis
- Patent number 7,316,005
- Issue date Jan 1, 2008
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SCALABLE, SECURE, EFFICIENT, AND ADAPTABLE DISTRIBUTED DIGITAL LEDG...
- Publication number 20220269672
- Publication date Aug 25, 2022
- META PLATFORMS, INC.
- Samuel Howard Blackshear
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMATIC TESTING OF FAILOVER AND RECOVERY FOR DISTRIBUTED SYSTEM...
- Publication number 20180113775
- Publication date Apr 26, 2018
- Microsoft Technology Licensing, LLC
- NARAYANAN GANAPATHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING IMPLICIT ASSUMPTIONS ASSOCIATED WITH A SOFTWARE PRODUCT
- Publication number 20160259718
- Publication date Sep 8, 2016
- Microsoft Technology Licensing, LLC
- Rui WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Identifying Implicit Assumptions Associated with a Software Product
- Publication number 20140258986
- Publication date Sep 11, 2014
- Microsoft Corporation
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING EXECUTION PATHS THAT SATISFY REACHABILITY QUERIES
- Publication number 20140096112
- Publication date Apr 3, 2014
- Microsoft Corporation
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC VERIFICATION OF PARALLEL PROGRAM CODE
- Publication number 20130241941
- Publication date Sep 19, 2013
- Microsoft Corporation
- Alastair Francis Donaldson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENT ASSERTION
- Publication number 20130239120
- Publication date Sep 12, 2013
- Microsoft Corporation
- Jacob Samuels Burnim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Unifying Type Checking and Property Checking for Low Level Programs
- Publication number 20100169868
- Publication date Jul 1, 2010
- Microsoft Corporation
- Jeremy P. Condit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAIR STATELESS MODEL CHECKING
- Publication number 20090178044
- Publication date Jul 9, 2009
- Microsoft Corporation
- Madanlal Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS
- Publication number 20080271042
- Publication date Oct 30, 2008
- Microsoft Corporation
- Madanlal S. Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Precise data-race detection using locksets
- Publication number 20070245312
- Publication date Oct 18, 2007
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Sound transaction-based reduction without cycle detection
- Publication number 20060248515
- Publication date Nov 2, 2006
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Deciding assertions in programs with references
- Publication number 20060247907
- Publication date Nov 2, 2006
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Model checking with bounded context switches
- Publication number 20060130010
- Publication date Jun 15, 2006
- Microsoft Corporation
- Niels Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Data race detection using sequential program analysis
- Publication number 20050177775
- Publication date Aug 11, 2005
- Microsoft Corporation
- Shaz Qadeer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Object-based systematic state space exploration of software
- Publication number 20050086648
- Publication date Apr 21, 2005
- Microsoft Corporation
- Anthony D. Andrews
- G06 - COMPUTING CALCULATING COUNTING

Shaz Qadeer

Person

Patents Grantslast 30 patents

Identifying implicit assumptions associated with a software product

Systematic testing of failover and recovery for distributed system...

Identifying implicit assumptions associated with a software product

Static verification of parallel program code

Fair stateless model checking

Concurrent assertion

Identifying execution paths that satisfy reachability queries

Unifying type checking and property checking for low level programs

Testing multi-thread software using prioritized context switch limits

Model checking with bounded context switches

Precise data-race detection using locksets

Sound transaction-based reduction without cycle detection

Procedure summaries for multithreaded software

Object-based systematic state space exploration of software

Data race detection using sequential program analysis

Patents Applicationslast 30 patents

SCALABLE, SECURE, EFFICIENT, AND ADAPTABLE DISTRIBUTED DIGITAL LEDG...

SYSTEMATIC TESTING OF FAILOVER AND RECOVERY FOR DISTRIBUTED SYSTEM...

IDENTIFYING IMPLICIT ASSUMPTIONS ASSOCIATED WITH A SOFTWARE PRODUCT

Identifying Implicit Assumptions Associated with a Software Product

IDENTIFYING EXECUTION PATHS THAT SATISFY REACHABILITY QUERIES

STATIC VERIFICATION OF PARALLEL PROGRAM CODE

CONCURRENT ASSERTION

Unifying Type Checking and Property Checking for Low Level Programs

FAIR STATELESS MODEL CHECKING

TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS

Precise data-race detection using locksets

Sound transaction-based reduction without cycle detection

Deciding assertions in programs with references

Model checking with bounded context switches

Data race detection using sequential program analysis

Object-based systematic state space exploration of software