A theory of memory models

Vijay A. Saraswat; Radha Jagadeesan; Maged Michael; Christoph Von Praun

doi:10.1145/1229428.1229469

A theory of memory models

Vijay A. Saraswat
, Radha Jagadeesan
, Maged Michael
, Christoph Von Praun

IBM T.J. Watson Research Lab.

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

Original language	English
Title of host publication	Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07
Publisher	Association for Computing Machinery
Pages	161-172
Number of pages	12
ISBN (Print)	1595936025, 9781595936028
DOIs	https://doi.org/10.1145/1229428.1229469
State	Published - Mar 14 2007
Event	12th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 2007 - San Jose, CA, United States Duration: Mar 14 2007 → Mar 17 2007

Publication series

Name	Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP
ISSN (Print)	1542-0205

Conference

Conference	12th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 2007
Country/Territory	United States
City	San Jose, CA
Period	3/14/07 → 3/17/07

ASJC Scopus Subject Areas

Software

Keywords

Memory model
Sequential consistency
Weak model

Access to Document

10.1145/1229428.1229469

Cite this

Saraswat, V. A., Jagadeesan, R., Michael, M., & Von Praun, C. (2007). A theory of memory models. In Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07 (pp. 161-172). (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP). Association for Computing Machinery. https://doi.org/10.1145/1229428.1229469

A theory of memory models. / Saraswat, Vijay A.; Jagadeesan, Radha; Michael, Maged et al.
Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07. Association for Computing Machinery, 2007. p. 161-172 (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Saraswat, VA, Jagadeesan, R, Michael, M & Von Praun, C 2007, A theory of memory models. in Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, Association for Computing Machinery, pp. 161-172, 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 2007, San Jose, CA, United States, 3/14/07. https://doi.org/10.1145/1229428.1229469

Saraswat VA, Jagadeesan R, Michael M, Von Praun C. A theory of memory models. In Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07. Association for Computing Machinery. 2007. p. 161-172. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP). doi: 10.1145/1229428.1229469

@inproceedings{6a3d170c881240b98a2865c0bd2a24ac,

title = "A theory of memory models",

keywords = "Memory model, Sequential consistency, Weak model",

author = "Saraswat, \{Vijay A.\} and Radha Jagadeesan and Maged Michael and \{Von Praun\}, Christoph",

year = "2007",

month = mar,

day = "14",

doi = "10.1145/1229428.1229469",

language = "English",

isbn = "1595936025",

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

publisher = "Association for Computing Machinery",

pages = "161--172",

booktitle = "Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07",

note = "12th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 2007 ; Conference date: 14-03-2007 Through 17-03-2007",

}

TY - GEN

T1 - A theory of memory models

AU - Saraswat, Vijay A.

AU - Jagadeesan, Radha

AU - Michael, Maged

AU - Von Praun, Christoph

PY - 2007/3/14

Y1 - 2007/3/14

KW - Memory model

KW - Sequential consistency

KW - Weak model

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

UR - https://www.scopus.com/pages/publications/34748897138#tab=citedBy

U2 - 10.1145/1229428.1229469

DO - 10.1145/1229428.1229469

M3 - Conference contribution

AN - SCOPUS:34748897138

SN - 1595936025

SN - 9781595936028

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

SP - 161

EP - 172

BT - Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'07

PB - Association for Computing Machinery

T2 - 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 2007

Y2 - 14 March 2007 through 17 March 2007

ER -

A theory of memory models

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this