天津大学、北航深度参与华为“仓颉”编程语言
五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速...
天津大学智能与计算学部助力华为“仓颉”编程语言编译器质量保障...
天津大学智能与计算学部软件工程团队携手华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究,从软件测试角度出发,为仓颉编译器质量保驾护航。五年来,团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器...
天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的...
五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速...
2023中国计算机学会系统软件技术论坛在西安召开
清华大学张超副教授、上海交通大学林云教授、微软(亚洲)互联网工程院郭家琪博士、天津大学陈俊洁研究员、中科院软件所贾相堃副研究员、西安交通大学晋武侠副教授、联通西部创新研究院胡帅总监等11位软件领域的知名专家学者,围绕智能软件工程、自动驾驶软件、软件安全等议题,分享了最新的研究成果和思考,线下和线上参会...
赞!天大这两项成果获杰出论文奖
近日天津大学智能与计算学部在边缘智能领域和软件工程领域分别获得杰出论文奖王晓飞教授所在的边缘计算课题组发表在中科院1区SCI期刊IEEENetwork的论文《In-EdgeAI:IntelligentizingMobileEdgeComputing,CachingandCommunicationbyFederatedLearning》荣获IEEE通信学会2022年亚太地区杰出论文奖。陈俊洁副教授所在的...
CCF深度技术论坛在我校举办
本次论坛邀请了西安电子科技大学软件工程学科负责人李青山,复旦大学计算机科学技术学院副院长彭鑫,北京大学软件与微电子学院教授李影,清华大学计算机系长聘副教授裴丹,中山大学计算机学院副教授陈鹏飞,国家超算天津中心总工冯景华,东北大学副教授李福亮,天津大学副教授张朝昆、陈俊洁,中科院计算机网络信息中心副研究员裴昶华,香港...
计算机学院两位博士入围2019年度“CCF优秀博士学位论文奖”
西工大新闻网12月3日电(张薇)在刚刚发布的中国计算机学会《2019年度“CCF优秀博士学位论文奖”评选公告》中,西北工业大学计算机学院的王天本、胥皇同学入围2019年度“CCF优秀博士学位论文奖”。依据关于评选“中国计算机学会(CCF)优秀博士学位论文奖”的有关条例,CCF从2019年8月1日起,开始受理2019年度“CCF优秀博士学...