天津大学、北航深度参与华为“仓颉”编程语言
2024年6月22日 - 百家号
五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程...
详情
天津大学智能与计算学部助力华为“仓颉”编程语言编译器质量保障...
2024年6月22日 - 天津大学新闻网
天津大学智能与计算学部软件工程团队携手华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究,从软件测试角度出发,为仓颉编译器质量保驾护航。五年来,团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器...
详情
天大智算华为仓颉!
2024年7月14日 - 澎湃新闻
天津大学智能与计算学部软件工程团队助力华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究,从软件测试角度出发,为仓颉编译器质量保驾护航。五年来,团队陈俊洁教授、王赞教授、姜佳君研究员,带领赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译...
详情
赞!天大这两项成果获杰出论文奖
2022年10月27日 - 百家号
陈俊洁副教授所在团队的论文《LearningtoConstructBetterMutationFaults》由天津大学、北京大学和伊利诺伊大学厄巴纳-香槟分校合作完成,其中第一作者为2021级硕士生田朝,指导教师及通讯作者为陈俊洁副教授(长聘副教授、博导、软件工程团队负责人)。该工作创新性的提出了LEAM,采用语法引导的深度学习模型,从开源社...
详情