Hongfei Fu

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.