天津大学、北航深度参与华为“仓颉”编程语言
五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程...
天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的...
五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速...
智能与计算学部陈俊洁副教授入选ASE2021评选过程主席
近20年,有5位大陆学者入选ASE组委会,陈俊洁教授是目前大陆学者中最年轻的一位。陈俊洁简介:天津大学智能与计算学部长聘副教授,博士生导师,软件工程团队负责人。2019年于北京大学信息科学技术学院获得博士学位,同年获得CCF优秀博士学位论文奖。主要研究领域为软件分析与测试,具体包括编译器测试、智能软件测试等。近四年共...
赞!天大这两项成果获杰出论文奖
陈俊洁副教授所在团队的论文《LearningtoConstructBetterMutationFaults》由天津大学、北京大学和伊利诺伊大学厄巴纳-香槟分校合作完成,其中第一作者为2021级硕士生田朝,指导教师及通讯作者为陈俊洁副教授(长聘副教授、博导、软件工程团队负责人)。该工作创新性的提出了LEAM,采用语法引导的深度学习模型,从开源社区提供...
2023中国计算机学会系统软件技术论坛在西安召开
南京大学李宣东教授、复旦大学彭鑫教授、华为软件工程应用技术实验室夏鑫主任、西安交通大学杨子江教授、清华大学张超副教授、上海交通大学林云教授、微软(亚洲)互联网工程院郭家琪博士、天津大学陈俊洁研究员、中科院软件所贾相堃副研究员、西安交通大学晋武侠副教授、联通西部创新研究院胡帅总监等11位软件领域的知名专家学者...
计算机学院两位博士入围2019年度“CCF优秀博士学位论文奖”
西工大新闻网12月3日电(张薇)在刚刚发布的中国计算机学会《2019年度“CCF优秀博士学位论文奖”评选公告》中,西北工业大学计算机学院的王天本、胥皇同学入围2019年度“CCF优秀博士学位论文奖”(www.e993.com)2024年9月9日。依据关于评选“中国计算机学会(CCF)优秀博士学位论文奖”的有关条例,CCF从2019年8月1日起,开始受理2019年度“CCF优秀博士学...