Systematic approaches for increasing soundness and precision of static analyzers.

Esben Sparre Andreasen, Anders Mller, Benjamin Barslev Nielsen

Browse the full PLDI paper archive.