About me

I am a third-year PhD student in the Computer Science department at UC Santa Barbara. I am fortunate to be advised by Professor Ben Hardekopf and Jonathan Balkind. I obtained my Bachelor degrees in Computer Science from Peking University and was lucky to work with Professor Yingfei Xiong as a member of PKU-PLL.

My interests primarily lie in the areas of software engineering and programming languages.

Research

Refinement Types for Visualization
Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng
(To Appear) ASE’24

There and Back Again: A Netlist’s Tale with Much Egraphin’
Gus Henry Smith, Zachary D Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind
LATTE ’24 [paper]

ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers
Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li
NeurIPS 2023 [paper][Source]

Generalizable Synthesis Through Unification.
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu.
OOPSLA 2021 [paper][Source]

Teaching

• CS9: Intermediate Python (Fall’23, Winter’24)
• CS160: Translation of Computer Programs (Spring’23)
• CS162: Programming Languages (Winter’23)

Service

• PLDI’24 AEC