|
US2012290883A1
|
|
Computer Implemented Method for Precise May-Happen-in-Parallel Analysis with Applications to Dataflow Analysis of Concurrent Programs
|
|
US2012079483A1
|
|
Computer Implemented Automatic Lock Insertion in Concurrent Programs
|
|
US2011276969A1
|
|
Lock removal for concurrent programs
|
|
US2011167412A1
|
|
Universal causality graphs for bug detection in concurrent programs
|
|
US2011010693A1
|
|
System and method for verification of programs using threads having bounded lock chains
|
|
US2010235817A1
|
|
Fast and accurate data race detection for concurrent programs with asynchronous calls
|
|
US2009125887A1
|
|
System and method for generating error traces for concurrency bugs
|
|
US2008229286A1
|
|
System and method for scalable flow and context-sensitive pointer alias analysis
|
|
US2008178156A1
|
|
Fast and accurate static data-race detection for concurrent programs
|
|
US2008086722A1
|
|
Using pushdown systems for the static analysis of multi-threaded programs
|
|
US2006218534A1
|
|
Model checking of multi threaded software
|
