Sam Westrick @shwestrick.bsky.social · 06/07/2026For example, using just a few lines of code we can identify a granularity control issue inside of a library we did not author ourselves. We describe a case study in detail in the paper. 100
Sam Westrick @shwestrick.bsky.social · 06/07/2026In another case study, we measure the impact of a subtle space optimization. With just a few lines of code, we can empirically confirm that the optimization works as intended, by measuring peak memory consumption as an abstract property on the computation graph. 100
Sam Westrick @shwestrick.bsky.social · 06/07/2026Critically, none of these analyses incur major overhead: just a few percent in typical applications and use-cases, and fully parallelized, with almost no impact on scalability. 100
