_id,doi,title
10855,10.1145/3447384,Input-dynamic distributed algorithms for communication networks
10191,10.1145/3485541,The reads-from equivalence for the TSO and PSO memory models
10190,10.1145/3360550,Value-centric dynamic partial order reduction