Conference item icon

Conference item

Abstract interpretation with unfoldings

Abstract:

We present and evaluate a technique for computing path-sensitive 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 interference between sequences of transformers. Our main contribution is an unfolding algorithm that uses a new notion of independence to avoid redundant transformer application, thread-local fixed points to reduce the size of the unfolding, ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-63390-9_11

Authors


Rodríguez, C More by this author
D Silva, V More by this author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Publisher:
Springer, Cham Publisher's website
Volume:
10427
Pages:
197-216
Series:
Lecture Notes in Computer Science
Publication date:
2017-07-13
Acceptance date:
2017-04-12
DOI:
ISSN:
0302-9743
Pubs id:
pubs:721015
URN:
uri:6d9bdf6f-7b3b-4a3b-8765-9d5f9ec3fc08
UUID:
uuid:6d9bdf6f-7b3b-4a3b-8765-9d5f9ec3fc08
Local pid:
pubs:721015
ISBN:
9783319633893

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP