Diaframe: automated verification of fine-grained concurrent programs in Iris.

Ike Mulder, Robbert Krebbers, Herman Geuvers

Browse the full PLDI paper archive.