其他
探索·收获!南京大学李樾、谭添提出新的上下文敏感技术,突破指针分析高效精准的瓶颈
点击上方蓝字,关注我们
昨日小南推文
探索·收获!现代工学院魏辉教授课题组报道纳米酶传感器阵列检测农药的新策略
计算机软件新技术国家重点实验室、南京大学计算机科学与技术系李樾副教授、谭添助理研究员提出了一项新的选择性上下文敏感技术。该技术将程序中会影响指针分析精度和速度的方法分别定义为精度关键与速度关键方法,并提供了一套理论框架用于有效识别这些关键方法,最终基于一套可解释规则选择为其中哪些关键方法应用上下文,以获得高效、精准的指针分析。大量实验表明,该技术可大幅度加速指针分析,平均情况下,在保留通用上下文敏感指针分析95%精度的同时可加速25.5倍(最快可加速88倍之多)。此外,对于一些复杂程序,该技术可在取得上下文敏感精度的同时,运行速度甚至能超越非上下文敏感,打破了过去30年指针分析只能在二者之间取舍平衡的局面,改变了关于"上下文敏感指针分析速度无法超越非上下文敏感技术"的认识,为未来快速精准指针分析的研究提供了新的思路和方向。
该成果在2020年5月20日,以"A Principled Approach to Selective Context Sensitivity for Pointer Analysis"为题发表于《ACM Transactions on Programming Languages and Systems》期刊上(TOPLAS 42(2)),南京大学为第一及通讯单位,李樾为第一作者,谭添为通讯作者,丹麦奥胡斯大学Anders Mø;ller教授、希腊雅典大学Yannis Smaragdakis教授为合作者。TOPLAS是程序设计语言领域的顶级国际期刊,也是CCF推荐A类期刊。该论文是TOPLAS自1979年创刊41年来,南京大学首次、我国内地高校和科研机构第三次(近五年唯一)以第一单位名义发表的科研成果。”
论文链接:https://dl.acm.org/doi/10.1145/3381915
策划:科技处
来源:南京大学新闻网责编:陈曦