Page 137 - 《软件学报》2021年第7期

高凤娟 等:高精度的大规模程序数据竞争检测方法 2055

高凤娟(1991－),女,学士,主要研究领域为 王林章(1973－),男,博士,教授,博士生导
软件工程,程序语言,软件安全. 师,CCF 杰出会员,主要研究领域为软件工
程,软件安全.

王豫(1991－),男,学士,主要研究领域为软 吴荣鑫(1987－),男,博士,CCF 专业会员,
件工程,程序语言,软件安全. 主要研究领域为软件工程.

周金果(1988－),男,博士,主要研究领域为 张川(1974－),男,博士,主要研究领域为程
软件工程,静态分析. 序分析,质量保障.

徐安孜(1997－),男,学士,CCF 学生会员, 苏振东(1970－),男,博士,博士生导师,主
主要研究领域为软件工程,软件安全. 要研究领域为程序语言,程序分析.