|
38
|
Checking concise specifications for multithreaded software
– Stephen N. Freund, Shaz Qadeer
- 2004
|
|
54
|
SafeJava: A Unified Type System for Safe Programming
– Chandrasekhar Boyapati
- 2004
|
|
27
|
Randomized active atomicity violation detection in concurrent programs
– Chang-seo Park, Koushik Sen
- 2008
|
|
|
Checking the Data Sharing Strategies of Concurrent Systems Level Code
– Zachary Ryan Anderson, Zachary Ryan Anderson, Zachary Ryan Anderson
|
|
59
|
Static Conflict Analysis for Multi-Threaded Object-Oriented Programs
– Christoph von Praun, Thomas R. Gross
- 2003
|
|
|
Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis
– Yue Yang, Anna Gringauze, Dinghao Wu, Henning Korsholm Rohde
|
|
19
|
Dynamic Detection of Atomic-Set-Serializability Violations
– Christian Hammer, Julian Dolby , Mandana Vaziri , Frank Tip
- 2008
|
|
35
|
SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA
– Ondrej Lhoták
- 2002
|
|
41
|
Race Directed Random Testing of Concurrent Programs
– Koushik Sen
- 2008
|
|
2
|
Persuasive Prediction of Concurrency Access Anomalies
– Jeff Huang, Charles Zhang
|
|
1
|
On the role of static analysis in operating system checking and runtime verification
– Abhishek Rai
- 2005
|
|
3
|
Toward a Benchmark for MultiThreaded Testing Tools
– Yaniv Eytani, Scott D. Stoller, Klaus Havelund, Shmuel Ur
- 2005
|
|
22
|
Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs
– Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
- 2007
|
|
2
|
Locksmith: Practical Static Race Detection for C
– Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
|
|
1
|
Verifying GPU kernels by test amplification
– Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
- 2012
|
|
44
|
Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking
– John Hatcliff, Robby, Matthew B. Dwyer
- 2003
|
|
43
|
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
– Matthew B. Dwyer, John Hatcliff, Robby, John Hatcliff Robby, Venkatesh Prasad Ranganath
- 2004
|
|
1
|
Debugging concurrent programs with sequential analysis
– Shaz Qadeer
|
|
83
|
KISS: Keep It Simple and Sequential
– Shaz Qadeer, Dinghao Wu
- 2004
|
