Abstract Interpretation with Unfoldings

@inproceedings{Sousa2017AbstractIW,
  title={Abstract Interpretation with Unfoldings},
  author={Marcelo Sousa and C{\'e}sar Rodr{\'i}guez and Vijay D'Silva and Daniel Kroening},
  booktitle={CAV},
  year={2017}
}
Interpretation with Unfoldings⋆ Marcelo Sousa, César Rodŕıguez, Vijay D’Silva and Daniel Kroening 1 University of Oxford, United Kingdom 2 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 3 Google Inc., San Francisco Abstract. We present and evaluate a technique for computing pathsensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS
0 Extracted Citations
25 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 25 references

Unfoldingbased partial order reduction

  • César Rodŕıguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
  • CoRR, abs/1507.00980,
  • 2015

Unfoldingbased partial order reduction. In Concurrency Theory (CONCUR), volume 42 of LIPIcs, pages 456–469

  • César Rodŕıguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
  • Schloss Dagstuhl – Leibniz-Zentrum fuer…
  • 2015
20 Excerpts

Similar Papers

Loading similar papers…