English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Repairing Sequential Consistency in C/C++11

Lahav, O., Vafeiadis, V., Kang, J., Hur, C.-K., & Dreyer, D. (2017). Repairing Sequential Consistency in C/C++11. In PLDI'17 (pp. 618-632). New York, NY: ACM. doi:10.1145/3140587.3062352.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0000-769B-D Version Permalink: https://hdl.handle.net/21.11116/0000-0008-E851-7
Genre: Conference Paper

Files

show Files
hide Files
:
paper.pdf (Preprint), 405KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0008-E852-6
Name:
paper.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
© 2017 Association for Computing Machinery. This is the author’s version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, https://doi.org/10.1145/3140587.3062352
License:
-

Locators

show

Creators

show
hide
 Creators:
Lahav, Ori1, Author           
Vafeiadis, Viktor1, Author           
Kang, Jeehoon2, Author
Hur, Chung-Kil2, Author
Dreyer, Derek3, Author           
Affiliations:
1Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293              
2External Organizations, ou_persistent22              
3Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20172017
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: LahavPLDI2017
DOI: 10.1145/3140587.3062352
 Degree: -

Event

show
hide
Title: 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
Place of Event: Barcelona, Spain
Start-/End Date: 2017-06-18 - 2017-06-23

Legal Case

show

Project information

show hide
Project name : RustBelt
Grant ID : 683289
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: PLDI'17
  Subtitle : Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
  Abbreviation : PLDI 2017
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 618 - 632 Identifier: ISBN: 978-1-4503-4988-8