关智超

vbcpascal@outlook.com

你好！这里是我的个人主页。我目前就读于北京大学博士四年级，是程序设计语言研究室的一员，导师是胡振江教授。我钟爱对程序语言的研究，特别是类型系统、形式化语义、程序验证的相关问题。我目前的研究致力于简化领域特定语言（DSL）及其集成开发环境（IDE）的开发。欢迎与我讨论交流！

我的邮箱名由我最先学习的三门语言组成：Visual Basic、C/C++、Pascal。

教育经历

  • 计算机软件与理论 博士（2021-）

    北京大学 计算机学院 程序设计语言研究室

  • 计算机科学 学士（2017-2021）

    北京大学 信息科学技术学院

论文

  • Ziyi Yang, Yushuo Xiao, Zhichao Guan and Zhenjiang Hu (2022). A Lazy Desugaring System for Evaluating Programs with Sugars. In FLOPS.

  • Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu (2024). Semantics Lifting for Syntactic Sugar. In OOPSLA.

  • Yiyuan Cao, Zhichao Guan, Yushuo Xiao, Haiyan Zhao, Zhenjiang Hu (2023). Development of Domain-specific Languages: Status and Prospects (in Chinese). In Science and Technology Foresight.

课程