SAS 2022
Date: Dec 04, 2022 – Dec 10, 2022
Location: Auckland, New Zealand
29th Static Analysis Symposium
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 2022 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 interpretation
- Automated deduction
- Data flow analysis
- Debugging techniques
- Deductive methods
- Emerging applications
- Model-checking
- Data science
- Program optimizations and transformations
- Program synthesis
- Program verification
- Machine learning and verification
- Security analysis
- Tool environments and architectures
- Theoretical frameworks
- Type checking
- Distributed or networked systems
Submitted by Anonymous
on
Date: Dec 04, 2022 – Dec 10, 2022
Location: Auckland, New Zealand
29th Static Analysis Symposium
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 2022 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 interpretation
- Automated deduction
- Data flow analysis
- Debugging techniques
- Deductive methods
- Emerging applications
- Model-checking
- Data science
- Program optimizations and transformations
- Program synthesis
- Program verification
- Machine learning and verification
- Security analysis
- Tool environments and architectures
- Theoretical frameworks
- Type checking
- Distributed or networked systems
Submitted by Anonymous
on