Search papers, labs, and topics across Lattice.
Shanghai Jiao Tong University
2
0
3
Spear accelerates the synthesis of optimal abstract transformers by exploiting parallelism, outperforming state-of-the-art solvers in both efficiency and scalability.
Ditch the overly conservative error bounds: a new probabilistic approach to floating-point analysis delivers speed and precision by cleverly taming Taylor expansions.
