中科天齐团队参加ISSTA2024大会,针对CFL可达性提出”staged solving“求解方法
近日,第33届The ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA) 在奥地利维也纳举办。ISSTA是软件工程四大会之一,被评级为CCF-A。中科天齐团队成员施程航和李昊峰前往参会。在会上,施程航展示了题为“Better Not Together: Staged Solving for Context-Free Language
Reachability “的研究成果。该工作针对应用广泛的程序分析框架——CFL可达性提出了一种名为”staged
solving“的求解方法,相比现有方法可大大提升CFL可达性的求解效率,最高加速比接近三个数量级。在场很多研究者对该工作表达了浓厚的兴趣,团队成员相应回答了他们的问题。该工作的主要思路是将上下文无关文法通过语法分解为一个更小的括号匹配文法和正则文法,接着提出了多阶段求解(staged
solving)在两个阶段分别求解两个文法对应的可达性。通过利用文法的特性,该工作分别提出了高效的可达性求解算法。在实验评估中,该方法的加速比可达约三个数量级。
ISSTA 是专注于软件测试与分析的高影响力会议。从 2023 年起,ISSTA 采用了两阶段投稿流程。对于在第一轮中被评为 "Major
Revision"(大修) 的论文,作者可根据评审意见修改论文后,提交到会议的第二轮,由同一组审稿人评审。2024 年,ISSTA 共收到 694
篇投稿,最终接收 143 篇,其中第一轮接收 106 篇,第二轮接收 37 篇,总接收率为 20.61%。