_id,doi,title
10190,10.1145/3360550,Value-centric dynamic partial order reduction