Safer open-nested transactions through ownership

Kunal Agrawal; I. Ting Angelina Lee; Jim Sukha

doi:10.1145/1345206.1345261

Safer open-nested transactions through ownership

Kunal Agrawal
, I. Ting Angelina Lee
, Jim Sukha

Department of Computer Science & Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Original language	English
Title of host publication	PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Publisher	Association for Computing Machinery
Pages	291-292
Number of pages	2
ISBN (Print)	9781595939609
DOIs	https://doi.org/10.1145/1345206.1345261
State	Published - 2008

Publication series

Name	Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Keywords

Abstract serializability
Open-nested transactions
Ownership types
Ownership-aware transactions
Transactional memory
Type system

Access to Document

10.1145/1345206.1345261

Cite this

Agrawal, K., Lee, I. T. A., & Sukha, J. (2008). Safer open-nested transactions through ownership. In PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 291-292). (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP). Association for Computing Machinery. https://doi.org/10.1145/1345206.1345261

Agrawal, Kunal ; Lee, I. Ting Angelina ; Sukha, Jim. / Safer open-nested transactions through ownership. PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2008. pp. 291-292 (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

@inproceedings{66a0fe38d4b84fd687d8d8f9dfd6763b,

title = "Safer open-nested transactions through ownership",

keywords = "Abstract serializability, Open-nested transactions, Ownership types, Ownership-aware transactions, Transactional memory, Type system",

author = "Kunal Agrawal and Lee, \{I. Ting Angelina\} and Jim Sukha",

year = "2008",

doi = "10.1145/1345206.1345261",

language = "English",

isbn = "9781595939609",

series = "Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP",

publisher = "Association for Computing Machinery",

pages = "291--292",

booktitle = "PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming",

}

Agrawal, K, Lee, ITA & Sukha, J 2008, Safer open-nested transactions through ownership. in PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, Association for Computing Machinery, pp. 291-292. https://doi.org/10.1145/1345206.1345261

Safer open-nested transactions through ownership. / Agrawal, Kunal; Lee, I. Ting Angelina; Sukha, Jim.
PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2008. p. 291-292 (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Safer open-nested transactions through ownership

AU - Agrawal, Kunal

AU - Lee, I. Ting Angelina

AU - Sukha, Jim

PY - 2008

Y1 - 2008

KW - Abstract serializability

KW - Open-nested transactions

KW - Ownership types

KW - Ownership-aware transactions

KW - Transactional memory

KW - Type system

UR - https://www.scopus.com/pages/publications/79959458020

U2 - 10.1145/1345206.1345261

DO - 10.1145/1345206.1345261

M3 - Conference contribution

AN - SCOPUS:79959458020

SN - 9781595939609

T3 - Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

SP - 291

EP - 292

BT - PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

PB - Association for Computing Machinery

ER -

Agrawal K, Lee ITA, Sukha J. Safer open-nested transactions through ownership. In PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery. 2008. p. 291-292. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP). doi: 10.1145/1345206.1345261

Safer open-nested transactions through ownership

Publication series

Keywords

Access to Document

Other files and links

Cite this