A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Staged concurrent program analysis
2010
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a result, concurrent program verifiers resort to bi-modal reasoning, which alternates between reasoning over intra-thread (sequential) semantics and interthread (concurrent) semantics. Such reasoning often involves repeated intra-thread reasoning for exploring each interleaving (interthread reasoning) and leads to
doi:10.1145/1882291.1882301
dblp:conf/sigsoft/SinhaW10
fatcat:adxhqcqudzfgjmo43q2aucwtru