4 ms·Runtime Refinement Checking of Concurrent Data Structures [pdf]6 points by adamnemecek 9y agodeleted 9y ago[deleted]