Verifying optimizations of concurrent programs in the promising semantics.

Junpeng Zha, Hongjin Liang, Xinyu Feng

Browse the full PLDI paper archive.