collaborators

1 paper

cs.PL2020

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs

Suvam Mukherjee, Oded Padon, Sharon Shoham +2

Data race free (DRF) programs constitute an important class of concurrent programs. In this paper we provide a framework for designing and proving the correctness of data flow anal…