Get started
Author

Jingtao Xia

Observed name: Xia, Jingtao
ORCID: 0009-0007-3509-4018
Observed ORCID: 0009-0007-3509-4018
OpenAlex ID: A5025292884
Generalizable synthesis through unification
2021 · Ruyi Ji, Jingtao Xia, et al. · Proceedings of the ACM on Programming Languages · 14
PDF
Refinement Types for Visualization
2024 · Jingtao Xia, Junrui Liu, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 2
There and Back Again: A Netlist's Tale with Much Egraphin'
2024 · Smith, Gus Henry, Sisco, Zachary D., et al. · arXiv (Cornell University) · 2
PDF
ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers
2023 · Zhang, Kexun, Wang, Danqing, et al. · arXiv (Cornell University) · 2
PDF
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers
2023 · Kexun Zhang, Danqing Wang, et al. · neural information processing systems · 2
Fungible Memories for Automated Technology Mapping and Retargeting
2026 · Zachary D. Sisco, Sijie Kong, et al. · Proceedings of the ACM on Programming Languages
Improving Equality Saturation for EDA via Semantic E-Graphs
2026 · Sijie Kong, Jingtao Xia, et al. · Proceedings of the ACM on Programming Languages
Occam Learning Meets Synthesis Through Unification
2021 · Ji, Ruyi, Xia, Jingtao, et al. · arXiv (Cornell University)
PDF
Works count: 9
Citation count: 23
H-index: 2
I10-index: 1
Year
Topic
Type