Program synthesis by type-guided abstraction refinement. - Zheng Guo 003; Michael James 003; David Justo; Jiaxiao Zhou; Ziteng Wang 001; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

Digging for fold: synthesis-aided API discovery for Haskell. - Michael B. James; Zheng Guo 003; Ziteng Wang 001; Shivani Doshi; Hila Peleg; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. - Anders Miltner; Ziteng Wang 001; Swarat Chaudhuri; Isil Dillig (CAV (3), 2024)

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis. - Benjamin Mariano; Ziteng Wang 001; Shankara Pailoor; Christian S. Collberg; Isil Dillig (Proc. ACM Program. Lang., 2024)

From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang 001; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 2024)

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang 001; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Zenodo, 2024)

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang 001; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Zenodo, 2024)

Software Artifact for "Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis". - Benjamin Mariano; Ziteng Wang 001; Shankara Pailoor; Christian S. Collberg; Isil Dillig (Zenodo, 2024)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation. - Anirudh Khatry; Robert Zhang; Jia Pan; Ziteng Wang 001; Qiaochu Chen; Greg Durrett; Isil Dillig (CoRR, 2025)

Software Artifact for "Homomorphism Calculus for User-Defined Aggregations". - Ziteng Wang 001; Ruijie Fang; Linus Zheng; Dixin Tang; Isil Dillig (Zenodo, 2025)

Homomorphism Calculus for User-Defined Aggregations. - Ziteng Wang 001; Ruijie Fang; Linus Zheng; Dixin Tang; Isil Dillig (CoRR, 2025)