会議情報
SAS 2026: International Static Analysis Symposium
会議のウェブサイトを表示するにはログインしてください
提出日: |
2026-05-01 |
通知日: |
2026-06-26 |
会議日: |
2026-10-03 |
場所: |
Oakland, California, USA |
年: |
33 |
CCF: b CORE: a QUALIS: a2 閲覧: 32020 追跡: 31 出席: 0
論文募集
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 for over 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.
Topics
The technical program for SAS 2026 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program 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
最終更新 Dou Sun 2026-04-15
合格率
| 時間 | 提出 | 受け入れ | 受け入れ(%) |
|---|---|---|---|
| 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% |
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| c | DSAA | International Conference on Data Science and Advanced Analytics | 2026-05-30 | 2026-08-10 | 2026-10-06 | ||
| b | a | a2 | SAS | International Static Analysis Symposium | 2026-05-01 | 2026-06-26 | 2026-10-03 |
| c | a | a2 | ICDAR | International Conference on Document Analysis and Recognition | 2026-02-27 | 2026-05-15 | 2026-08-30 |
| a | a | a2 | ISSTA | International Symposium on Software Testing and Analysis | 2026-01-29 | 2026-06-25 | 2026-10-03 |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2025-04-25 | 2025-07-04 | 2025-10-27 |
| c | PSD | Privacy in Statistical Databases | 2020-06-01 | 2020-06-26 | 2020-09-23 | ||
| c | ICIAR | International Conference on Image Analysis and Recognition | 2020-02-10 | 2020-03-16 | 2020-06-24 | ||
| b | b1 | ICIAP | International Conference on Image Analysis and Processing | 2017-03-31 | 2017-05-05 | 2017-09-11 | |
| a | IDA | International Symposium on Intelligent Data Analysis | 2015-05-08 | 2015-07-03 | 2015-10-22 | ||
| b2 | IWLS | International Workshop on Logic & Synthesis | 2012-04-02 | 2012-06-01 |
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| c | Medical Image Analysis | 11.8 | Elsevier | 1361-8415 |
| Synthetic Metals | 4.6 | Elsevier | 0379-6779 | |
| Journal of Computational Physics | 3.8 | Elsevier | 0021-9991 | |
| Sustainability | 3.3 | MDPI | 2071-1050 | |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer | 0003-9527 | |
| c | Pattern Analysis and Applications | 2.0 | Springer | 1433-7541 |
| Computational Statistics & Data Analysis | 1.6 | Elsevier | 0167-9473 | |
| Kinetics and Catalysis | 1.300 | Pleiades Publishing | 0023-1584 | |
| c | Intelligent Data Analysis | 0.900 | IOS Press | 1088-467X |
| Cybernetics and Systems Analysis | 0.500 | Springer | 1060-0396 |