2 papers
cs.PL2021
LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications
Charlie Curtsinger, Daniel W. Barowy
Developers rely on build systems to generate software from code. At a minimum, a build system should produce build targets from a clean copy of the code. However, developers rarely…
cs.PL2019
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery D. Berger, Benjamin Zorn
Spreadsheets are one of the most widely used programming environments, and are widely deployed in domains like finance where errors can have catastrophic consequences. We present a…