Author: International Static Analysis Symposium (15th 2008 Valencia, Spain)