|
103
|
An empirical comparison of monitoring algorithms for access anomaly detection
– Anne Dinning, Edith Schonberg
- 1990
|
|
61
|
On-The-Fly Detection of Access Anomalies
– Edith Schonberg
- 1998
|
|
70
|
On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism
– John Mellor-crummey
- 1991
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
26
|
Debugging Fortran on a Shared Memory Machine
– T R Allen, D Padua
- 1987
|
|
2115
|
Time, clocks, and the ordering of events in a distributed system
– L Lamport
- 1978
|
|
52
|
An Efficient Cache-based Access Anomaly Detection Scheme
– S. L. Min, J.-D. Choi
- 1991
|
|
46
|
Detecting Data Races in Parallel Program Executions
– Robert Netzer Netzer, Barton P. Miller
- 1989
|
|
206
|
Dynamic program slicing
– Bogdan Korel
- 1988
|
|
262
|
The program dependence graph in a software development environment
– K J Ottenstein, L M Ottenstein
- 1984
|
|
749
|
The program dependence graph and its use in optimization
– Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
- 1987
|
|
628
|
Interprocedural Slicing Using Dependence Graphs
– Susan Horwitz, Thomas Reps, David Binkley
- 1990
|
|
1129
|
Program slicing
– Mark Weiser
- 1981
|
|
79
|
Detecting access anomalies in programs with critical sections
– A Dinning, E Schonberg
- 1991
|
|
14
|
Detecting data races using dynamic escape analysis based on read barrier
– H Nishiyama
- 2004
|
|
49
|
Detecting Data Races on Weak Memory Systems
– Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer
- 1991
|
|
54
|
Warlock: A static data race analysis tool
– N Sterling
- 1993
|
|
195
|
RacerX: Effective, Static Detection of Race Conditions and Deadlocks
– Dawson Engler, Ken Ashcraft
- 2003
|
|
75
|
Bosschere. RecPlay: A Fully Integrated Practical Record/Replay System
– M Ronsee, K De
- 1999
|
