Context-sensitive slicing of concurrent programs

  title={Context-sensitive slicing of concurrent programs},
  author={Jens Krinke},
  booktitle={ESEC / SIGSOFT FSE},
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent programs. This work presents the first context-sensitive approach to slice concurrent programs accurately. It extends the well known structures of the control flow graph and the (interprocedural) program dependence graph for concurrent programs with interference. This new technique does not require serialization or… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 110 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 72 extracted citations

111 Citations

Citations per Year
Semantic Scholar estimates that this publication has 111 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…