Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
3
4
Finally, a separation logic handles heap-manipulating programs while reasoning about hyperproperties with arbitrary quantifier alternation, like generalized non-interference.