Ph.D. student
University of Texas at Austin
ziteng [at] utexas.edu
University of California San Diego
B.S. Computer Science
B.S. Mathematics
Introduction
I am currently in my fourth year (since 2021) as a 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 primary research area is Programming Languages, with a focus on program synthesis and verification. My work also extends to data analytics and database systems, where my vision is to develop formal optimization frameworks for User-Defined Aggregation Functions (UDAFs). This involves creating principled techniques to automatically synthesize incremental, parallel, and resource-efficient UDAF implementations, ultimately aiming to significantly enhance the performance, scalability, and correctness of modern data analytics platforms.
Before my Ph.D., I earned B.S. in Computer Science and Mathematics from UC San Diego, working as a research assistant supervised by Nadia Polikarpova.
News
Opera has been accepted to PLDI 2024. Explore more on our X thread.
Contata has been accepted to CAV 2024.
PhD applications for Fall 2021 submitted.
For additional activities, click here.
Conference Paper
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.
Benjamin Mariano*, Ziteng Wang*, Shankara Pailoor, Christian Collberg, and Isil Dillig.
OOPSLA 2024. [doi] [pdf]
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] [preprint] [talk] [slides]
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]
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]
Award
Test-based Solution Filtering for Program Synthesis.
Third Place, POPL 2020 Student Research Competition. [abstract] [poster] [slides]
Service
Artifact Evaluation Committee, OOPSLA 2025
Teaching
Teaching Assistant for CS 389L, Automated Logical Reasoning. Spring 2022, UT Austin
Teaching Assistant for MATH 10A, Calculus I. Winter 2021, UC San Diego
Teaching Assistant for MATH 11, Calculus-Based Introductory Probability and Statistics. Fall 2020, UC San Diego
Tutor for CSE 130, Programming Languages: Principles and Paradigms. Spring 2021, UC San Diego