Author: International Static Analysis Symposium (10th 2003 San Diego, Calif.)