Visible to the public SAS 2020Conflict Detection Enabled

27th Static Analysis Symposium (SAS 2020)

co-located with SPLASH 2020

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.

Topics
The technical program for SAS 2020 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:

  • Abstract domains
  • Abstract interpretation
  • Automated deduction
  • Data flow analysis
  • Debugging
  • Deductive methods
  • Emerging applications
  • Model checking
  • Program optimizations and transformations
  • Program synthesis
  • Program verification
  • Security analysis
  • Tool environments and architectures
  • Theoretical frameworks
  • Type checking
Event Details
Location: 
Chicago, Illinois