Conference Paper

Homomorphism Calculus for User-Defined Aggregations
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, and Isil Dillig
OOPSLA 2025 [doi] [extended] [talk] [slides] [code]
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
Anirudh Khatry, Robert Zhang, Jia Pan, Ziteng Wang, Qiaochu Chen, Greg Durrett, and Isil Dillig
COLM 2025 (Spotlight) [preprint] [code]
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano‡, Ziteng Wang‡, Shankara Pailoor, Christian Collberg, and Isil Dillig
OOPSLA 2024 [doi] [pdf] [code]
Relational Synthesis of Recursive Programs via Constrained Tree Automata
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, and Isil Dillig
CAV 2024 [doi] [pdf]
From Batch to Stream: Automatic Generation of Online Algorithms
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Isil Dillig
PLDI 2024 [doi] [extended] [talk] [slides] [code]
Digging for Fold: Synthesis-Aided API Discovery for Haskell
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova
OOPSLA 2020 [doi] [pdf] [code]
Program Synthesis by Type-Guided Abstraction Refinement
Zheng Guo, Michael B. James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, and Nadia Polikarpova
POPL 2020 [doi] [pdf] [code]

‡ denotes equal contribution

Award

Test-based Solution Filtering for Program Synthesis
Third Place, POPL 2020 Student Research Competition [abstract] [poster] [slides]

Service

Artifact Evaluation Committee
OOPSLA 2025, OOPSLA 2026, PLDI 2026, CAV 2026
Reviewer
IEEE Security & Privacy Magazine 2026
External Reviewer
ISSTA 2026

Teaching

Teaching Assistant
CS 389L, Automated Logical Reasoning. Spring 2022, UT Austin
Teaching Assistant
MATH 10B, Calculus II. Winter 2021, UC San Diego
Teaching Assistant
MATH 11, Introductory Probability and Statistics. Fall 2020, UC San Diego
Tutor
CSE 130, PL Principles and Paradigms. Spring 2021, UC San Diego