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

Conference Paper

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.
Benjamin Mariano*, Ziteng Wang*, Shankara Pailoor, Christian Collberg, and Isil Dillig.
Conditionally accepted to OOPSLA 2024.

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.