Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs.

Tooba Khan, Srivatsan Ravi, Chao Wang

Browse the full SANER paper archive.