Output details
11 - Computer Science and Informatics
University of Cambridge
Return to search
Output 0 of 0 in the submission
Article title
CompCertTSO: A verified compiler for relaxed-memory concurrency
Type
D - Journal article
Title of journal
Journal of the ACM
Article number
-
Volume number
60
Issue number
3
First page of article
1
ISSN of journal
0004-5411
Year of publication
2013
URL
-
Number of additional authors
4
Additional information
<10> This journal paper, invited from a POPL 2011 paper (acceptance rate: 49/209=23%) describes the first verified compiler targeting a realistic machine concurrency model. It enabled ongoing work on verified compilation for concurrent Java.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-