Zhichao Guan
vbcpascal@outlook.com
I am 5th year Ph.D. student at Peking University, a member of Programming Languages Lab. I am advised by Prof. Zhenjiang Hu. My main interest is in programming languages, and type systems, formal semantics, program verification in particular. I am working on topics related to simplifying DSL and IDE implementation. Welcome to discuss with me!
My email address consists of the first three languages I learned: Visual Basic, C/C++, and Pascal.
Education
- Ph.D. Student in Computer Science, 2021-
Programming Languages Lab, School of Computer Science, Peking University
- BSc in Computer Science, 2017-2021
School of EECS, Peking University
Publications
-
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).
Teaching
- Teaching assistant.
Fun with Monoids and Friends: Functional Programming with Abstract Algebra (minicourse)
Instructors: Tom Schrijvers. July 2024.
- Teaching assistant.
Introduction to Functional Programming (minicourse)
Instructors: Jeremy Gibbons. Oct. 2023.
- Teaching assistant.
Introduction to Property Based Testing (minicourse)
Instructors: John Hudges. Oct. 2023.
- Teaching assistant.
Introduction to Functional Programming
Instructors: Zhenjiang Hu & Wei Zhang. Fall 2022 and 2023.
- Teaching assistant.
Software Foundations
Instructors: Yingfei Xiong. Spring 2022.
- Teaching assistant.
Introduction to Computing (A)
Instructors: Yafei Dai. Fall 2019.