Jingtao Xia

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 5

Top Topics

Facial Expressions

Automatically Generating

Generation Process

Top Venues

Proc. ACM Program. Lang.

Publications

Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind
There and Back Again: A Netlist's Tale with Much Egraphin'. CoRR (2024)
Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. CoRR (2023)
Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. NeurIPS (2023)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Occam Learning Meets Synthesis Through Unification. CoRR (2021)
Chieh Chien, Jingtao Xia, Oscar Santana, Yan Wang, Gregory J. Pottie
Non-linear complementary filter based upper limb motion tracking using wearable sensors. ICASSP (2013)