Scholar
Ziteng Wang
Google Scholar ID: QcqE8tQAAAAJ
University of Texas at Austin
Citations & Impact
Citations
128
H-index
3
i10-index
2
Publications
7
Co-authors
2
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple academic papers, such as 'Homomorphism Calculus for User-Defined Aggregations' (OOPSLA 2025), 'CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation' (COLM 2025), etc.; Won Third Place in the POPL 2020 Student Research Competition.
Research Experience
- Author of multiple conference papers, including OOPSLA 2025, PLDI 2024, CAV 2024, etc.; Involved in several research projects such as Ink, Opera, Contata, etc.
Education
- Ph.D.: 2021-present, University of Texas at Austin, Computer Science, Advisors: Işıl Dillig and Dixin Tang; B.S. (Dual Degree): UC San Diego, Computer Science and Mathematics, Advisor: Nadia Polikarpova.
Background
- Research Interests: Programming Languages, Program Synthesis and Verification; Field: Computer Science; Introduction: Currently a Ph.D. student in Computer Science at the University of Texas at Austin, focusing on developing formal optimization frameworks for User-Defined Aggregation Functions (UDAFs).
Miscellany
- Served as a Teaching Assistant at the University of Texas at Austin and UC San Diego, teaching courses such as Automated Logical Reasoning, Calculus I, Probability and Statistics, etc.
