Ziteng Wang
Ph.D. student
Computer Science
University of Texas at Austin
ziteng [at] utexas.edu
Introduction
Welcome! My name is Ziteng, though I usually go by Zetten. I am a fifth-year Ph.D. student in Computer Science at the University of Texas at Austin, where I have the privilege of being advised by Işıl Dillig and Dixin Tang. My research is broadly in program synthesis, formal methods, and software engineering.
I develop techniques for building reliable, high-performance systems as software infrastructure evolves from offline batch processing to continuous streams, large-scale data analytics, and AI-era workloads. Across these settings, my work asks how we can turn high-level intent into efficient implementations, reducing the need for brittle hand-written optimizations while preserving correctness and performance. Applications of my work include streaming algorithms, user-defined analytics, compiler optimization, ML inference infrastructure, and security-critical software.
Before my Ph.D., I earned a dual B.S. degree in Computer Science and Mathematics from UC San Diego, where I worked as a research assistant under the supervision of Nadia Polikarpova.
News
Started an internship with Neuron Automated Reasoning Group at AWS.
Ink has been accepted to OOPSLA 2025.
Opera has been accepted to PLDI 2024. Explore more on our X thread.
For additional activities, click here.
Conference Paper
Homomorphism Calculus for User-Defined Aggregations
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, and Isil Dillig
OOPSLA 2025 [doi] [extended] [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