A rely-guarantee-based simulation for verifying concurrent program transformations.

Hongjin Liang, Xinyu Feng, Ming Fu

Browse the full POPL paper archive.