LOGO
实验室博士后郑龙的论文被IEEE/ACM International Symposium on Code Generation and Optimization 2018录用
时间:2017-11-07 14:58:30

实验室博士后郑龙的论文被IEEE/ACM International Symposium on Code Generation and Optimization 2018录用

 

实验室博士后郑龙的论文“Scalable Concurrency Debugging with Distributed Graph Processing”被国际学术会议ACM/IEEE International Symposium on Code Generation and Optimization (CGO) 2018录用。

 

多线程程序的并发分析是一个开放性问题,其复杂度通常随着程序执行时间的长短呈指数级增长,严重制约了并发调试的效率。论文通过对大量真实的多线程程序并发BUG的观察与分析,发现传统的并发BUG分析问题可以转化为图遍历分析问题。由于图遍历问题在现有图计算系统中得到广泛关注与研究,因此许多高度优化的图计算技术(如图划分技术)可直接用以解决并发调试的扩展性问题。论文提出了一种基于图计算的超大规模并发调试框架,主要创新点包括:1)程序图生成技术,旨在将程序动态执行转化为输入图数据集;2)基于程序执行语义的图遍历算法,旨在通过图遍历分析发掘最大化的可行调度路径,重现并发BUG。测试结果表明,提出的并发调试框架可显著改善多线程程序的并发分析效率。

 

CGOACM SIGMICROACM SIGPLANIEEE CS共同承办的国际学术会议,主要关注代码生成与优化技术的研究,在国内外学术界有着很高的影响,对推动计算机系统软件的设计和发展起到了重要作用。该会议今年一共收到105篇论文投稿,录用30篇论文,录用率29%左右。

通讯员:郑龙

 更多 更多 更多 更多