高凤娟(1991-),女,学士,主要研究领域为软件工程,程序语言,软件安全.
王林章(1973-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件工程,软件安全.
王豫(1991-),男,学士,主要研究领域为软件工程,程序语言,软件安全.
吴荣鑫(1987-),男,博士,CCF专业会员,主要研究领域为软件工程.
周金果(1988-),男,博士,主要研究领域为软件工程,静态分析.
张川(1974-),男,博士,主要研究领域为程序分析,质量保障.
徐安孜(1997-),男,学士,CCF学生会员,主要研究领域为软件工程,软件安全.
苏振东(1970-),男,博士,博士生导师,主要研究领域为程序语言,程序分析.
王林章,E-mail:lzwang@nju.edu.cn
国家自然科学基金(62032010)
National Natural Science Foundation of China (62032010)
高凤娟,王豫,周金果,徐安孜,王林章,吴荣鑫,张川,苏振东.高精度的大规模程序数据竞争检测方法.软件学报,2021,32(7):2039-2055
复制