The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them).

Eric Bodden

Browse the full ISSTA paper archive.