Breathing New Life into Existing Visualizations: A Natural Language-Driven Manipulation Framework. - Can Liu 004; Jiacheng Yu; Yuhan Guo 004; Jiayi Zhuang; Yuchu Luo; Xiaoru Yuan (CoRR, 2024)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)