Los puntos clave no están disponibles para este artículo en este momento.
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.