_id,doi,title
10417,10.1145/3158119,Data-centric dynamic partial order reduction