79 citations · 83 across the 3 of their papers we have counts for
3 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.PF2016★ 79 cited
Coz: Finding Code that Counts with Causal Profiling
Charlie Curtsinger, Emery D. Berger
Improving performance is a central concern for software developers. To locate optimization opportunities, developers rely on software profilers. However, these profilers only repor…
cs.SE2016★ 4 cited
DoubleTake: Fast and Precise Error Detection via Evidence-Based Dynamic Analysis
Tongping Liu, Charlie Curtsinger, Emery D. Berger
This paper presents evidence-based dynamic analysis, an approach that enables lightweight analyses--under 5% overhead for these bugs--making it practical for the first time to perf…