Commit-time incremental analysis.

Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu

Browse the full PLDI paper archive.