SAS 2018 - 25th Static Analysis Symposium

Abstract domains
Automated deduction
Debugging
Emerging applications
Program optimizations and transformations
Program verification
Tool environments and architectures
Type checking
Abstract interpretation
Data flow analysis
Deductive methods
Model checking
Program synthesis
Security analysis
Theoretical frameworks