Mechanized verification of fine-grained concurrent programs.

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Browse the full PLDI paper archive.