Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.

Luks Holk, Roland Meyer, Toms Vojnar, Sebastian Wolff

Browse the full SAS paper archive.