Search papers, labs, and topics across Lattice.
3
0
3
Effect handlers can revolutionize the way we build and extend program logics, enabling stronger reasoning capabilities and easier integration of complex behaviors.
Every linearizable data structure can now be paired with a logically atomic specification, simplifying the proof process in concurrent programming.
Finally, a program logic that handles the complexities of real-world differential privacy libraries, including privacy filters, higher-order functions, and interactive algorithms.
