Sound sequentialization for concurrent program verification.

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Browse the full PLDI paper archive.