Types for relaxed memory models

Matthew Goto; Radha Jagadeesan; Corin Pitcher; James Riely

doi:10.1145/2103786.2103791

Types for relaxed memory models

DePaul University

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

Original language	English
Title of host publication	POPL
Subtitle of host publication	TLDI'12 - Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
Pages	25-37
Number of pages	13
DOIs	https://doi.org/10.1145/2103786.2103791
State	Published - 2012
Event	8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012 - Philadelphia, PA, United States Duration: Jan 28 2012 → Jan 28 2012

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

Conference

Conference	8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012
Country/Territory	United States
City	Philadelphia, PA
Period	1/28/12 → 1/28/12

ASJC Scopus Subject Areas

Software

Keywords

Languages
Theory

Access to Document

10.1145/2103786.2103791

Cite this

Types for relaxed memory models. / Goto, Matthew; Jagadeesan, Radha ; Pitcher, Corin et al.
POPL: TLDI'12 - Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 2012. p. 25-37 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

Goto, M, Jagadeesan, R , Pitcher, C & Riely, J 2012, Types for relaxed memory models. in POPL: TLDI'12 - Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 25-37, 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012, Philadelphia, PA, United States, 1/28/12. https://doi.org/10.1145/2103786.2103791

@inproceedings{90be871cc70a464ebf896acc6740a264,

title = "Types for relaxed memory models",

keywords = "Languages, Theory",

author = "Matthew Goto and Radha Jagadeesan and Corin Pitcher and James Riely",

year = "2012",

doi = "10.1145/2103786.2103791",

language = "English",

isbn = "9781450311205",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

pages = "25--37",

booktitle = "POPL",

note = "8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012 ; Conference date: 28-01-2012 Through 28-01-2012",

}

TY - GEN

T1 - Types for relaxed memory models

AU - Goto, Matthew

AU - Jagadeesan, Radha

AU - Pitcher, Corin

AU - Riely, James

PY - 2012

Y1 - 2012

KW - Languages

KW - Theory

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

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

U2 - 10.1145/2103786.2103791

DO - 10.1145/2103786.2103791

M3 - Conference contribution

AN - SCOPUS:84857890386

SN - 9781450311205

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 25

EP - 37

BT - POPL

T2 - 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012

Y2 - 28 January 2012 through 28 January 2012

ER -

Types for relaxed memory models

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this