Abstraction-guided synthesis of synchronization.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Browse the full POPL paper archive.