Runtime Refinement Checking of Concurrent Data Structures [pdf] http://ift.tt/2hiCuxdComments from Hacker News http://ift.tt/YV9WJO via IFTTT