北京大学计算机学院程序设计语言研究室（主页：https://pl.cs.pku.edu.cn）的张昕老师（主页：https://xinpl.github.io）招收【本科生科研】与【科研实习】以及希冀以其他途径参与课题研究的科研实习生1~2人。科研题目为《针对新型国产编程语言的贝叶斯程序分析框架搭建与研究》。

实验室简介

程序设计语言研究室主要研究包括函数式程序设计语言、双向变换、程序演算、领域特定语言、程序分析、程序综合、程序修复、神经网络分析等领域，目前有胡振江教授、熊英飞教授、张昕助理教授和王迪助理教授四位老师。

导师简介

张昕，男，助理教授，入选国家级青年人才项目，2017年获美国佐治亚理工博士学位，2017-2020年在美国麻省理工学院计算机与人工智能实验室担任博士后研究员。主要研究方向为程序设计语言和软件工程，重点为程序分析等技术与机器学习的交叉领域。一方面，用机器学习的技术来提高程序分析的可用性；另一方面，开发了针对机器学习系统的新型程序分析与语言，在机器学习的可解释性和公平性问题上都有所创新。这些成果发表在了PLDI、POPL、FSE、NeurIPS等会议上，曾获得过PLDI和FSE的杰出论文奖。更多信息可参考个人主页 https://xinpl.github.io 的介绍。

实习内容

程序分析是程序语言生态的基本组成部分，在编译器、编程开发环境、漏洞检测和程序验证等方面有着广泛应用。贝叶斯程序分析将逻辑和概率相结合，是一种新的程序分析编写方式，其在保留传统程序分析优点的同时，将分析变为学习系统，极大增强了程序分析可用性，在发现程序错误等方面有着广泛的应用。本项目拟和国内领先公司合作，针对某全新的国产编程语言，搭建贝叶斯分析程序编写平台，增强学生对程序分析理论、算法的了解和系统编程能力，并探索全新编程语言对贝叶斯程序分析带来的机遇和挑战。贝叶斯分析的细节可参见视频https://www.bilibili.com/video/BV1Ag4y1c7ix。

1. 将某新型国产编程语言编写的程序转化为中间表达形式，并以关系型数据库的方式进行存贮。

2. 搭建基于概率逻辑编程编程的程序分析平台。以上述数据库为输入，选取合适的概率逻辑编程语言作为分析编写语言，实现计算分析结果置信度、后验学习等功能。

3. 实现基本分析（如编译优化中常用的数据流分析）以验证框架可靠性。

实习收获

1. 了解科研。

2. 了解程序分析，增强系统编程能力。

3. 老师和学长的定期指导。

4. 接触最新国产编程语言，与业内领先企业合作。

面向对象及要求

本次本科生科研主要面向大二、大三的同学，要求GPA不低于3.3，对科研工作有一定兴趣。以下内容为加分项（非必需）：

1. 对程序分析有一定的了解（选修过熊英飞老师的软件分析技术【https://xiongyingfei.github.io/SA_new/2023】课程或其他类似课程）。

2. 具有良好的编程能力，对逻辑编程语言有一定了解。

3. 熟悉常见的协作工具，如Git。

感兴趣的同学欢迎联系邮箱 zhenyuyan@stu.pku.edu.cn 报名或咨询。