沈天琪(1999-), 男, 硕士生, CCF学生会员, 主要研究领域为程序分析.
王熙灶(1995-) 男, 博士生, CCF学生会员, 主要研究领域为程序分析与验证, 程序设计语言.
宾向荣(2000-) 男, 博士生, CCF学生会员, 主要研究领域为程序分析.
卜磊(1983-), 男, 博士, 教授, 博士生导师, CCF杰出会员, 主要研究领域为模型检验, 形式化方法, 信息物理系统, 复杂软件分析与验证.
卜磊, E-mail: bulei@nju.edu.cn
国家自然科学基金(62232008, 62172200); 江苏省前沿引领技术基础研究专项(BK20202001); 中央高校基本科研业务费专项资金 (020214380101)
沈天琪,王熙灶,宾向荣,卜磊. DDoop: 基于差分式Datalog求解的增量指针分析框架.软件学报,2024,35(6):2608-2630
复制