Repair Abstractions for More Efficient Data Structure Repair.

Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid

Browse the full RV paper archive.