You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Cambridge » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Cambridge

Return to search Previous output Next output

Output 32 of 184 in the submission

Article title

CompCertTSO: A verified compiler for relaxed-memory concurrency

Type

D - Journal article

DOI

10.1145/2487241.2487248

Title of journal

Journal of the ACM

Article number

Volume number

Issue number

First page of article

ISSN of journal

0004-5411

Year of publication

2013

URL

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract