Key points are not available for this paper at this time.
We present a novel framework for automatic inference of efficient synchronization in concurrent programs, a task known to be difficult and error-prone when done manually.
Vechev et al. (Sun,) studied this question.