Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar. Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. In Karim Ali 0001, Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. Volume 263 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Feiyang Jin

This author has not been identified. Look up 'Feiyang Jin' in Google

Lechen Yu

This author has not been identified. Look up 'Lechen Yu' in Google

Tiago Cogumbreiro

This author has not been identified. Look up 'Tiago Cogumbreiro' in Google

Jun Shirako

This author has not been identified. Look up 'Jun Shirako' in Google

Vivek Sarkar

This author has not been identified. It may be one of the following persons: Look up 'Vivek Sarkar' in Google