Conference Information
SAS 2024: International Static Analysis Symposium
https://2024.splashcon.org/home/sas-2024Submission Date: |
2024-05-05 |
Notification Date: |
2024-07-07 |
Conference Date: |
2024-10-20 |
Location: |
Pasadena, California, USA |
Years: |
30 |
CCF: b CORE: a QUALIS: a2 Viewed: 21943 Tracked: 29 Attend: 0
Call For Papers
Topics The technical program for SAS 2024 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program analysis 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 All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/conferences/?conf=sas24 We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category: Well-motivated discussion of new questions or new areas. Experience with static analysis tools, Industrial Reports, and Case Studies Brief announcements of work in progress Tool papers Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of NEAT papers, all papers will follow a lightweight double-blind reviewing process. The identity of the authors for the NEAT papers will be therefore known to the reviewers. Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper.
Last updated by Dou Sun in 2024-03-03
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
Short | Full Name | Submission | Conference |
---|---|---|---|
ISSTA | International Symposium on Software Testing and Analysis | 2024-10-31 | 2025-06-25 |
MPMME | International Conference on Materials Processing and Mechanical Manufacturing Engineering | 2019-02-21 | 2019-04-12 |
ECISM | European Conference on Information Systems Management | 2018-02-22 | 2018-09-13 |
ACAI | International Conference on Algorithms, Computing and Artificial Intelligence | 2024-11-20 | 2024-12-20 |
AMA | International Conference on Advanced Materials and Applications | 2019-02-13 | 2019-04-10 |
DCABES | International Symposium on Distributed Computing and Applications in Business, Engineering, and Sciences Conference | 2023-10-15 | 2023-12-08 |
RO-MAN | IEEE International Conference on Robot and Human Interactive Communication | 2018-03-19 | 2018-08-27 |
ICCMFE | International Conference on Chemical, Material and Food Engineering | 2018-04-22 | 2018-04-27 |
IWEP | International Workshop on Engineering Physics | 2023-10-28 | 2023-11-15 |
ISRCS | International Symposium on Resilient Cyber Systems | 2015-04-27 | 2015-08-18 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Materials Science and Engineering: R: Reports | 31.60 | Elsevier | 0927-796X | |
a | IEEE Transactions on Computers | 3.600 | IEEE | 0018-9340 |
Journal of Computing in Civil Engineering | 4.700 | ASCE | 0887-3801 | |
Engineering Computations | 1.500 | Emerald | 0264-4401 | |
Data Science Journal | ICSU | 1683-1470 | ||
Chemometrics and Intelligent Laboratory Systems | 3.700 | Elsevier | 0169-7439 | |
IEEE Transactions on Industrial Electronics | 7.500 | IEEE | 0278-0046 | |
Knowledge Engineering Review | Cambridge University Press | 0269-8889 | ||
International Journal of Peer-to-Peer networks | AIRCC | 2229-5240 | ||
IEEE Transactions on Energy Conversion | 5.000 | IEEE | 0885-8969 |
Full Name | Impact Factor | Publisher |
---|---|---|
Materials Science and Engineering: R: Reports | 31.60 | Elsevier |
IEEE Transactions on Computers | 3.600 | IEEE |
Journal of Computing in Civil Engineering | 4.700 | ASCE |
Engineering Computations | 1.500 | Emerald |
Data Science Journal | ICSU | |
Chemometrics and Intelligent Laboratory Systems | 3.700 | Elsevier |
IEEE Transactions on Industrial Electronics | 7.500 | IEEE |
Knowledge Engineering Review | Cambridge University Press | |
International Journal of Peer-to-Peer networks | AIRCC | |
IEEE Transactions on Energy Conversion | 5.000 | IEEE |
Recommendation