I am a Ph.D. student supervised by Dr. Yuepeng Wang at Simon Fraser University.

Email: yha244@sfu.ca

Research

My research interest involves:

• database verification
• program synthesis

Publications

Graphiti: Bridging Graph and Relational Database Queries. PLDI’25
Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang
[paper] [extended version] [code] [slides]

Synthesizing Document Database Queries using Collection Abstractions. ICSE’25
Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang
[paper] [extended version] [code] [slides]

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries. VLDB’24 demo
Pinhan Zhao*, Yang He*, Xinyu Wang, Yuepeng Wang
[paper] [poster]

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. OOPSLA’24
Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang
Distinguished Paper Award
[paper] [extended version] [code] [slides]

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit. ACM Computing Surveys’24
Yao Wan, Zhangqian Bi, Yang He, Jianguo Zhang, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin, Philip Yu
[paper] [code]

NaturalCC: an open-source toolkit for code intelligence. ICSE’22 demo
Yao Wan, Yang He, Zhangqian Bi, Jianguo Zhang, Yulei Sui, Hongyu Zhang, Kazuma Hashimoto, Hai Jin, Guandong Xu, Caiming Xiong, Philip S. Yu
[paper] [code]

Personal

I enjoy Sid Meier’s Civilization 6.