Specifying and checking semantic atomicity for multithreaded programs release_43nhuhaddbdqhjzyqiw662xqcm

by Jacob Burnim, George Necula, Koushik Sen

Published in SIGPLAN notices by Association for Computing Machinery (ACM).

2011   Volume 46, p79

Archived Files and Locations

application/pdf  370.2 kB
file_fubpxmzqyrdgrc332mf53ghcra
web.archive.org (webarchive)
web.archive.org (webarchive)
people.eecs.berkeley.edu (web)
www.eecs.berkeley.edu (web)
web.archive.org (webarchive)
+ 3 more URLs
application/pdf  369.5 kB
file_vqrprznyrvbxvc6tmeobws5tri
web.archive.org (webarchive)
www.burn.im (web)
jburnim.github.io (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 2 more URLs
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2011-03-17
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0362-1340
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: bace478a-4f48-41e4-b222-45e2a06d5a2a
API URL: JSON