Checking Linearizability Using Hitting Families

Özkan, Burcu K.; Majumdar, Rupak; Niksic, Filip

doi:10.1145/3293883.3295726

Local TagsRelease HistoryDetailsSummary

Checking Linearizability Using Hitting Families

Özkan, B. K., Majumdar, R., & Niksic, F. (2019). Checking Linearizability Using Hitting Families. In PPoPP'19 (pp. 366-377). New York, NY: ACM. doi:10.1145/3293883.3295726.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0005-D90A-C Version Permalink: https://hdl.handle.net/21.11116/0000-0005-D90B-B

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Özkan, Burcu K.¹, Author
Majumdar, Rupak¹, Author
Niksic, Filip¹, Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2019Published Online: 2019Date issued: 2019

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Ozkan_PPOPP2019
DOI: 10.1145/3293883.3295726

Degree: -

Event

show

hide

Title: 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Place of Event: Washington, DC, USA

Start-/End Date: 2019-02-16 - 2019-02-20

Legal Case

show

Project information

show

Source 1

show

hide

Title: PPoPP'19

Abbreviation : PPoPP 2019

Subtitle : Proceedings of the 24thPrinciples and Practice of Parallel Programming

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 366 - 377 Identifier: ISBN: 978-1-4503-6225-2