Search papers, labs, and topics across Lattice.
New York University
1
0
Every linearizable data structure can now be paired with a logically atomic specification, simplifying the proof process in concurrent programming.
