Conference Information
SAS 2022: International Static Analysis Symposium
https://2022.splashcon.org/home/sas-2022Submission Date: |
2022-05-04 |
Notification Date: |
2022-07-15 |
Conference Date: |
2022-12-05 |
Location: |
Auckland, New Zealand |
Years: |
29 |
CCF: b CORE: a QUALIS: a2 Viewed: 17913 Tracked: 28 Attend: 0
Call For Papers
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
Last updated by Dou Sun in 2022-04-09
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2007 | 85 | 26 | 30.6% |
| 2005 | 66 | 22 | 33.3% |
| 2004 | 63 | 23 | 36.5% |
| 2003 | 82 | 25 | 30.5% |
| 2002 | 86 | 32 | 37.2% |
| 2001 | 62 | 21 | 33.9% |
| 2000 | 52 | 20 | 38.5% |
| 1999 | 42 | 18 | 42.9% |
| 1998 | 48 | 20 | 41.7% |
| 1997 | 61 | 23 | 37.7% |
| 1996 | 79 | 22 | 27.8% |
| 1995 | 55 | 22 | 40% |
Related Conferences
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Statistical Analysis and Data Mining | John Wiley & Sons, Ltd | 1932-1872 | ||
| Active and Passive Electronic Components | Hindawi | 0882-7516 | ||
| Journal of Computational Physics | 3.553 | Elsevier | 0021-9991 | |
| Journal of Forecasting | 0.816 | Wiley-Blackwell | 0277-6693 | |
| c | Natural Computing | Springer | 1567-7818 | |
| Journal of Computer Networks and Communications | Hindawi | 2090-7141 | ||
| Computational Statistics & Data Analysis | 1.681 | Elsevier | 0167-9473 | |
| Cryptography and Communications | Springer | 1936-2447 | ||
| Journal of Mechanical Engineering and Biomechanics | Rational Publication | 2456-219X | ||
| c | Intelligent Data Analysis | 0.691 | IOS Press | 1088-467X |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Statistical Analysis and Data Mining | John Wiley & Sons, Ltd | |
| Active and Passive Electronic Components | Hindawi | |
| Journal of Computational Physics | 3.553 | Elsevier |
| Journal of Forecasting | 0.816 | Wiley-Blackwell |
| Natural Computing | Springer | |
| Journal of Computer Networks and Communications | Hindawi | |
| Computational Statistics & Data Analysis | 1.681 | Elsevier |
| Cryptography and Communications | Springer | |
| Journal of Mechanical Engineering and Biomechanics | Rational Publication | |
| Intelligent Data Analysis | 0.691 | IOS Press |
Recommendation