Conference Information
SAS 2020: International Static Analysis Symposium
https://conf.researchr.org/home/sas-2020
Submission Date:
2020-05-22 Extended
Notification Date:
2020-07-19
Conference Date:
2020-11-18
Location:
Chicago, Illinois, USA
Years:
27
CCF: b   CORE: a   QUALIS: a2   Viewed: 9927   Tracked: 18   Attend: 0

Conference Location
Call For Papers
The 27th Static Analysis Symposium, SAS 2020, will be held from November 18th to November 20th in Chicago, Illinois, United States.

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 
Last updated by Dou Sun in 2020-05-16
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2007852630.6%
2005662233.3%
2004632336.5%
2003822530.5%
2002863237.2%
2001622133.9%
2000522038.5%
1999421842.9%
1998482041.7%
1997612337.7%
1996792227.8%
1995552240%
Related Conferences
Related Journals
CCFFull NameImpact FactorPublisherISSN
Statistical Analysis and Data Mining John Wiley & Sons, Ltd1932-1872
Active and Passive Electronic ComponentsHindawi0882-7516
Journal of Computational Physics2.845Elsevier0021-9991
Journal of Forecasting0.816Wiley-Blackwell0277-6693
cNatural Computing Springer1567-7818
Journal of Computer Networks and CommunicationsHindawi2090-7141
Computational Statistics & Data Analysis1.323Elsevier0167-9473
Cryptography and Communications Springer1936-2447
Journal of Mechanical Engineering and BiomechanicsRational Publication2456-219X
cIntelligent Data Analysis0.691IOS Press1088-467X
Recommendation