报告人：彭昀 香港中文大学
报告地点：新校区信息楼535会议室
报告时间：2023年10月30日（周一）下午4：30
报告题目：大模型时代下的智能化代码分析与修复
报告简介：
代码分析与程序漏洞修复自编程语言被发明一来就引起了学术界广泛的兴趣与研究。传统的基于规则的代码分析技术（如静态分析）和基于模板的漏洞修复技术取得了巨大的成功并被广泛的应用于软件开发。在深度学习技术，尤其是大语言模型(Large Language Model)发展迅速的今天，智能化代码分析与修复较传统的代码分析技术取得了较大的性能突破。在本报告中，讲者以目前流行的编程语言Python为例，介绍基于深度学习与传统程序分析技术相结合的Python类型推断（ICSE 2022,ASE 2023）和Python类型错误修复（ICSE 2024）。欢迎对代码分析与程序修复感兴趣的同学参加。
个人简介:
彭昀，香港中文大学ARISE Lab四年级博士生，导师为Prof. Michael R. Lyu，2020年毕业于中国科学技术大学少年班学院计算机科学与技术专业并获得荣誉学位。研究领域为软件工程，研究方向为智能化代码分析，包括类型推断，软件漏洞修复等。他在软件工程领域顶级会议和期刊ICSE、ESEC/FSE，ASE，IEEE TSE上发表了多篇论文，并获得了ASE 2023的杰出论文奖和ICSE 2022的杰出论文奖提名。他目前担任软件工程领域顶级期刊IEEE TSE和ACM TOSEM的审稿人。
