Non-preemptive Semantics for Data-Race-Free Programs.

Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng

Browse the full ICTAC paper archive.