Formal verification

In a pilot study, an automated code checker found about 100 possible errors, 80% of which turned out to require correction.

The paper introduced a technique to efficiently compute the difference in cost between two versions of a program and was presented at the conference on Programming Language Design and Implementation (PLDI) 2022.