Jingtao Xia

According to our database, Jingtao Xia authored at least 5 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2023

ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.

Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

Generalizable synthesis through unification.

Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2021

Occam Learning Meets Synthesis Through Unification.

Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

CoRR, 2021

2013

Non-linear complementary filter based upper limb motion tracking using wearable sensors.

Chieh Chien, Jingtao Xia, Oscar Santana, Yan Wang, Gregory J. Pottie

Proceedings of the IEEE International Conference on Acoustics, 2013