关智超
vbcpascal@outlook.com
你好！这里是我的个人主页。我目前就读于北京大学博士四年级，是程序设计语言研究室的一员，导师是胡振江教授。我钟爱对程序语言的研究，特别是类型系统、形式化语义、程序验证的相关问题。我目前的研究致力于简化领域特定语言（DSL）及其集成开发环境（IDE）的开发。欢迎与我讨论交流！
我的邮箱名由我最先学习的三门语言组成：Visual Basic、C/C++、Pascal。
教育经历
- 计算机软件与理论 博士（2021-）
北京大学 计算机学院 程序设计语言研究室
- 计算机科学 学士（2017-2021）
北京大学 信息科学技术学院
论文
-
Localizing Type Errors for Syntactic Sugar by Lifting. Zhichao Guan, Tailai Yu, Di Wang, Zhenjiang Hu. OOPSLA (2026).
-
Inferring Typing Rules for Contextual Sugars. Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu. PEPM (2025).
-
Semantics Lifting for Syntactic Sugar. Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu. OOPSLA (2024).
-
Development of Domain-specific Languages: Status and Prospects (in Chinese). Yiyuan Cao, Zhichao Guan, Yushuo Xiao, Haiyan Zhao, Zhenjiang Hu. Science and Technology Foresight (2023).
-
A Lazy Desugaring System for Evaluating Programs with Sugars. Ziyi Yang, Yushuo Xiao, Zhichao Guan and Zhenjiang Hu. FLOPS (2022).
课程
- 助教：
Fun with Monoids and Friends: Functional Programming with Abstract Algebra（微课程）
任课教师：Tom Schrijvers。 2024年7月
- 助教：
Introduction to Functional Programming（微课程）
任课教师：Jeremy Gibbons。 2023年10月
- 助教：
Introduction to Property Based Testing（微课程）
任课教师：John Hudges。 2023年10月
- 助教：
计算概论实验班（函数式程序设计）
任课教师：胡振江，张伟。 2022秋，2023秋
- 助教：
软件科学基础
任课教师：熊英飞。 2022春
- 助教：
计算概论（A）
任课教师：代亚非。 2019秋