Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Aarhus University
1
0
0
Executions under Sequential Consistency are verifiably simpler than those under Total Store Order, with profound implications for concurrent program verification.