Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs

@inproceedings{Ranganath2004PruningIA,
  title={Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs},
  author={Venkatesh Prasad Ranganath and John Hatcliff},
  booktitle={CC},
  year={2004}
}
The problem of efficiently calculating precise slices of concurrent programs is challenging because it is difficult to statically reason about the dependences that arise when multiple threads perform interfering reads/writes on shared data. The use of heap-allocated data in such programs makes the task even more difficult due to problems associated with aliasing. Existing presentations of slicing of concurrent object-oriented programs have made worse case aliasing assumptions when generating… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS