August 2021. Interchange of CA-52 and I-805, my favorite highways.

Conference Paper

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]

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]


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

Teaching Experience

  • 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.