Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

Feiyang Jin; Lechen Yu; Tiago Cogumbreiro; Jun Shirako; Vivek Sarkar

doi:10.4230/LIPIcs.ECOOP.2023.13

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

Feiyang Jin
, Lechen Yu
, Tiago Cogumbreiro
, Jun Shirako
, Vivek Sarkar

Computer Science

Georgia Institute of Technology

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

Original language	English
Title of host publication	37th European Conference on Object-Oriented Programming, ECOOP 2023
Editors	Karim Ali, Guido Salvaneschi
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)	9783959772815
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2023.13
State	Published - Jul 2023
Event	37th European Conference on Object-Oriented Programming, ECOOP 2023 - Seattle, United States Duration: Jul 17 2023 → Jul 21 2023

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	263
ISSN (Print)	1868-8969

Conference

Conference	37th European Conference on Object-Oriented Programming, ECOOP 2023
Country/Territory	United States
City	Seattle
Period	7/17/23 → 7/21/23

ASJC Scopus Subject Areas

Software

Keywords

Determinacy-race
Determinism
Promise
Race detection
Serial projection

Access to Document

10.4230/LIPIcs.ECOOP.2023.13

Cite this

Jin, F., Yu, L., Cogumbreiro, T., Shirako, J., & Sarkar, V. (2023). Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. In K. Ali, & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 13 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 263). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.13

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. / Jin, Feiyang; Yu, Lechen; Cogumbreiro, Tiago et al.
37th European Conference on Object-Oriented Programming, ECOOP 2023. ed. / Karim Ali; Guido Salvaneschi. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023. 13 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 263).

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

Jin, F, Yu, L, Cogumbreiro, T, Shirako, J & Sarkar, V 2023, Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. in K Ali & G Salvaneschi (eds), 37th European Conference on Object-Oriented Programming, ECOOP 2023., 13, Leibniz International Proceedings in Informatics, LIPIcs, vol. 263, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, United States, 7/17/23. https://doi.org/10.4230/LIPIcs.ECOOP.2023.13

Jin F, Yu L, Cogumbreiro T, Shirako J, Sarkar V. Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. In Ali K, Salvaneschi G, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2023. 13. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.ECOOP.2023.13

Jin, Feiyang ; Yu, Lechen ; Cogumbreiro, Tiago et al. / Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. 37th European Conference on Object-Oriented Programming, ECOOP 2023. editor / Karim Ali ; Guido Salvaneschi. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023. (Leibniz International Proceedings in Informatics, LIPIcs).

@inproceedings{8e871f6e6eb9496eb283a9930c95efea,

title = "Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises",

keywords = "Determinacy-race, Determinism, Promise, Race detection, Serial projection",

author = "Feiyang Jin and Lechen Yu and Tiago Cogumbreiro and Jun Shirako and Vivek Sarkar",

note = "Publisher Copyright: {\textcopyright} Feiyang Jin Lechen Yu Tiago Cogumbreiro Jun Shirako and Vivek Sarkar;; 37th European Conference on Object-Oriented Programming, ECOOP 2023 ; Conference date: 17-07-2023 Through 21-07-2023",

year = "2023",

month = jul,

doi = "10.4230/LIPIcs.ECOOP.2023.13",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Karim Ali and Guido Salvaneschi",

booktitle = "37th European Conference on Object-Oriented Programming, ECOOP 2023",

}

TY - GEN

T1 - Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

AU - Jin, Feiyang

AU - Yu, Lechen

AU - Cogumbreiro, Tiago

AU - Shirako, Jun

AU - Sarkar, Vivek

PY - 2023/7

Y1 - 2023/7

KW - Determinacy-race

KW - Determinism

KW - Promise

KW - Race detection

KW - Serial projection

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

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

U2 - 10.4230/LIPIcs.ECOOP.2023.13

DO - 10.4230/LIPIcs.ECOOP.2023.13

M3 - Conference contribution

AN - SCOPUS:85168908067

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 37th European Conference on Object-Oriented Programming, ECOOP 2023

A2 - Ali, Karim

A2 - Salvaneschi, Guido

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 37th European Conference on Object-Oriented Programming, ECOOP 2023

Y2 - 17 July 2023 through 21 July 2023

ER -

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this