Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris

Thumbnail
Fulltext:
250782.pdf
Size:
283.7Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2022
Author(s)
Mulder, I.N.
Krebbers, R.J.
Geuvers, H.
Publisher
New York : ACM
ISBN
9781450392655
In
Jhala, R. (ed.), PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation San Diego CA USA June 13 - 17, 2022, pp. 809-824
DOI
Annotation
PLDI '22
Publication type
Article in monograph or in proceedings
Related datasets
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/250782   https://hdl.handle.net/2066/250782
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.