2 papers
cs.SE2026
Automatic, Expressive, and Scalable Fuzzing with Stitching
Harrison Green, Fraser Brown, Claire Le Goues
Fuzzing is a powerful technique for finding bugs in software libraries, but scaling it remains difficult. Automated harness generation commits to fixed API sequences at synthesis t…
cs.PL2016
LifeJacket: Verifying precise floating-point optimizations in LLVM
Andres Nötzli, Fraser Brown
Optimizing floating-point arithmetic is vital because it is ubiquitous, costly, and used in compute-heavy workloads. Implementing precise optimizations correctly, however, is diffi…