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

Email: yha244@sfu.ca

Research

My research interest involves:

• program verification
• equivalence checking

Publications

FlexSQL: Flexible Exploration and Execution Make Better Text-to-SQL Agents. COLM’26
Quang Hieu Pham, Yang He, Ping Nie, Canwen Xu, Davood Rafiei, Yuepeng Wang, Xi Ye, Jocelyn Qiaochu Chen
[paper] [code]

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification. ICLR’26
Rocky Klopfenstein*, Yang He*, Andrew Tremante*, Yuepeng Wang, Nina Narodytska, Haoze Wu
[paper] [code]

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]

Enhancing RNN Based OCR by Transductive Transfer Learning from Text to Images. AAAI’18 student abstract
Yang He, Jingling Yuan, Lin Li
[paper]

Personal

I enjoy Sid Meier’s Civilization 6.