Non-linear complementary filter based upper limb motion tracking using wearable sensors. - Chieh Chien; Jingtao Xia; Oscar Santana; Yan Wang 004; Gregory J. Pottie (ICASSP, 2013)

Occam Learning Meets Synthesis Through Unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2021)

Generalizable synthesis through unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2021)

ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. - Kexun Zhang; Danqing Wang; Jingtao Xia; William Yang Wang; Lei Li 005 (NeurIPS, 2023)

Refinement Types for Visualization. - Jingtao Xia; Junrui Liu; Nicholas Brown; Yanju Chen; Yu Feng 001 (ASE, 2024)

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 (CoRR, 2024)