English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models

Oberhauser, J., Lima de Chehab, R. L., Behrens, D., Fu, M., Paolillo, A., Oberhauser, L., et al. (2021). VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. In Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 530-545). New York, NY: ACM. doi:10.1145/3445814.3446748.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0009-55BF-1 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-55C0-E
Genre: Conference Paper
Latex : {VSync}: {P}ush-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models

Files

show Files
hide Files
:
3445814.3446748.pdf (Publisher version), 438KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0009-55C1-D
Name:
3445814.3446748.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
This work is licensed under a Creative Commons Attribution International 4.0 License. ASPLOS ’21, April 19ś23, 2021, Virtual, USA © 2021 Copyright held by the owner/author(s). ACM ISBN 978-1-4503-8317-2/21/04. https://doi.org/10.1145/3445814.3446748
License:
-

Locators

show

Creators

show
hide
 Creators:
Oberhauser, Jonas1, Author
Lima de Chehab, Rafael Lourenco1, Author
Behrens, Diogo1, Author
Fu, Ming1, Author
Paolillo, Antonio1, Author
Oberhauser, Lilith1, Author
Bhat, Koustubha1, Author
Wen, Yuzhong1, Author
Chen, Haibo1, Author
Kim, Jaeho1, Author
Vafeiadis, Viktor2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group P. Francis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105288              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2021
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Oberhauser_ASPLOS2021
DOI: 10.1145/3445814.3446748
 Degree: -

Event

show
hide
Title: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems
Place of Event: Online
Start-/End Date: 2021-04-19 - 2021-04-23

Legal Case

show

Project information

show

Source 1

show
hide
Title: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems
  Abbreviation : ASPLOS 2021
  Subtitle : ASPLOS XXVI
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 530 - 545 Identifier: ISBN: 978-1-4503-8317-2