Call for papers S t a t i c A n a l y s i s S y m p o s i u m - S A S 2 0 0 8

Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of pro- gramming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to: abstract domains model checking abstract interpretation program specialization abstract testing security analysis compiler optimizations theoretical analysis frameworks