Author: International Static Analysis Symposium (8th 2001 Paris, france)