Author: International Static Analysis Symposium (14th 2007 Lyngby, Denmark)