Jiayi Zhuang

Undergrad Student
Peking University
wybxc (at) stu.pku.edu.cn

About Me

Hello! I am Jiayi Zhuang(庄嘉毅). Welcome to my homepage. I am an undergraduate student at the School of Electronics Engineering and Computer Science, Peking University.

Research Interests

Programming Languages: programming language design, type systems, domain-specific languages
Program Verification: verified programming language, proof engineering

Publications

Preprint

C*: Unifying Programming and Verification in C

Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu

arXiv preprint arXiv:2504.02246

PDF BibTex

Preprint

Breathing New Life into Existing Visualizations: A Natural Language-Driven Manipulation Framework

Can Liu, Jiacheng Yu, Yuhan Guo, Jiayi Zhuang, Yuchu Luo, Xiaoru Yuan

arXiv preprint arXiv:2404.06039

PDF BibTex

Powered by Jekyll and Minimal Light theme.