Bor-Yuh Evan Chang
Amazon Scholar – Prime Video
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.
We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two program versions. Differential cost analysis is particularly interesting because of the many compelling applications for it, such as detecting resource-use regressions at code-review time or proving the absence of certain side-channel vulnerabilities.