Synthesis-Aided Crash Consistency for Storage Systems.

Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt

Browse the full ECOOP paper archive.