Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Computer Science and Engineering
1
0
0
Eliminating spurious constraints in Octagons can drastically improve the precision of numerical invariants, redefining how we evaluate abstract domains.