Search papers, labs, and topics across Lattice.
Affiliation:
1
0
Transforming linearizability checking could lead to a dramatic reduction in false negatives and faster debugging in distributed storage systems.
