Sriram K. Rajamani

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Analysis of distributed software systems via specification substitu...
- Patent number 7,797,669
- Issue date Sep 14, 2010
- Microsoft Corporation
- Niels Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for enhancing program analysis
- Patent number 7,757,219
- Issue date Jul 13, 2010
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programming model to detect deadlocks in concurrent programs
- Patent number 7,703,077
- Issue date Apr 20, 2010
- Microsoft Corporation
- Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contracts and futures in an asynchronous programming language
- Patent number 7,694,276
- Issue date Apr 6, 2010
- Microsoft Corporation
- James R. Larus
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,657,867
- Issue date Feb 2, 2010
- Microsoft Corporation
- Thomas J. Ball
- 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
Error detection in web services systems
- Patent number 7,536,606
- Issue date May 19, 2009
- Microsoft Corporation
- Anthony Dean Andrews
- 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
Behavioral analysis for message-passing application programs
- Patent number 7,203,924
- Issue date Apr 10, 2007
- Microsoft Corporation
- Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating a predicate abstraction of a program
- Patent number 7,058,925
- Issue date Jun 6, 2006
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for enhancing program analysis
- Patent number 6,904,590
- Issue date Jun 7, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
IDENTIFYING CONCURRENCY CONTROL FROM A SEQUENTIAL PROOF
- Publication number 20100169618
- Publication date Jul 1, 2010
- Microsoft Corporation
- Ganesan Ramalingam
- 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
Error detection in web services systems
- Publication number 20050257098
- Publication date Nov 17, 2005
- Microsoft Corporation
- Anthony Dean Andrews
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20050235257
- Publication date Oct 20, 2005
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for enhancing program analysis
- Publication number 20050149904
- Publication date Jul 7, 2005
- Microsoft Corporation
- Thomas J. Ball
- 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
Information Patent Application
Contracts and futures in an asynchronous programming language
- Publication number 20040172638
- Publication date Sep 2, 2004
- James R. Larus
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Behavioral analysis for message-passing application programs
- Publication number 20030204570
- Publication date Oct 30, 2003
- Microsoft Corporation
- Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for generating a predicate abstraction of a program
- Publication number 20030204834
- Publication date Oct 30, 2003
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Programming model for concurrent programs
- Publication number 20030204641
- Publication date Oct 30, 2003
- Microsoft Corporation
- Jakob Rehof
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods for enhancing program analysis
- Publication number 20020178401
- Publication date Nov 28, 2002
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Sriram K. Rajamani

Person

Patents Grantslast 30 patents

Analysis of distributed software systems via specification substitu...

Method for enhancing program analysis

Programming model to detect deadlocks in concurrent programs

Contracts and futures in an asynchronous programming language

System and method for generating a predicate abstraction of a program

Sound transaction-based reduction without cycle detection

Procedure summaries for multithreaded software

Error detection in web services systems

Object-based systematic state space exploration of software

Behavioral analysis for message-passing application programs

System and method for generating a predicate abstraction of a program

Methods for enhancing program analysis

Patents Applicationslast 30 patents

IDENTIFYING CONCURRENCY CONTROL FROM A SEQUENTIAL PROOF

Sound transaction-based reduction without cycle detection

Deciding assertions in programs with references

Error detection in web services systems

System and method for generating a predicate abstraction of a program

Method for enhancing program analysis

Object-based systematic state space exploration of software

Contracts and futures in an asynchronous programming language

Behavioral analysis for message-passing application programs

System and method for generating a predicate abstraction of a program

Programming model for concurrent programs

Methods for enhancing program analysis