Contact Person : Caterina Urban; Last Date for the submission of abstract : 14/04/2017; Description : Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, and software maintenance. The 24th International Static Analysis Symposium will be held in New York City, USA.