报告题目:编译器的可信保障与智能化
报告摘要:编译器是软件及信息产业的基础架构。随着技术演进,GCC和LLVM等常规编译器已经难以适应航空、航天、机器人等新型场景涌现出的可信化、智能化等多样化需求。本报告首先介绍适用于小型编译器的可信性概念及主流的可信编译器。在此基础上,报告介绍用于提高大型编译器质量的编译器测试方法。最后,介绍课题组研发的适用于自主无人场景的新型智能化编译器。
个人简介:
![](/__local/A/50/A4/67D90C1E598060A0A7A3BE5A057_B4FC6D83_147A2.png)
江贺:博士,大连理工大学教授、博导,大连理工大学人工智能大连研究院院长,国家优秀青年科学基金获得者(优青)。目前主要研究兴趣为智能软件工程。2004年9月起,在大连理工大学工作。先后在ACM/IEEE系列汇刊TOSEM、TSE、TKDE、中国科学等期刊及ICSE、ASE 等国际会议发表论文70余篇。担任IEEE TR、JSEP、FCS、计算机科学等期刊编委。多次承担国家自然科学基金项目、国家重点研发课题,并长期与华为、百度、航天五院等企业开展合作。先后获得大连市五一特等奖章、中国计算机学会优秀博士学位论文指导教师、全国NASAC青年软件创新奖、ACM SIGSOFT 杰出论文奖。
报告时间:2022年11月10日上午 10:00-11:30
报告地点:腾讯会议:410-850-035
报告嘉宾:江贺教授(大连理工大学)