赵新宇 张明恒 于晓迪 郑红军 刘磊 范少锋 刘英

换模 领域工程 无冲突性操作 多线程 生成式程序设计 服务器 配置知识 特征模型

北京大学 北京大学计算机系 北京大学信息科学系 吉林大学计算机科学系 北京大学计算机科学技术系 北京大学数学科学院信息科学系