About me

I am a second-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. At present, I am focused on utilizing these techniques to solve problems related to hardware.

My name is pronounced as [jin tow sshyah].

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