• Sign in
  • Sign up
conf.researchr.org / Ziteng Wang
  • ICFP/SPLASH 2025 profile
  • PLDI 2024 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2024 profile
Ziteng Wang

Registered user since Mon 11 Nov 2019

Name:Ziteng Wang
Country:United States
Affiliation:University of Texas at Austin
Personal website: https://ziteng.wang/
GitHub: https://github.com/mistzzt
Research interests:Programming Languages

Contributions

2025

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2024

SPLASH

  • Author of Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis within the OOPSLA 2024-track

PLDI

  • Author of From Batch to Stream: Automatic Generation of Online Algorithms within the PLDI Research Papers-track

2021

SPLASH

  • Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track

2020

SPLASH

  • Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track
  • Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track

POPL

  • Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
  • Author of Test-based Solution Filtering for Program Synthesis within the Student Research Competition-track
Share
xSun 18 May 00:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up