Ziteng Wang
Orcid: 0009-0001-8487-8093Affiliations:
- University of Texas at Austin, Austin, TX, USA
According to our database1,
Ziteng Wang
authored at least 11 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Dataset, August, 2025
CoRR, April, 2025
2024
Software Artifact for "Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis".
Dataset, August, 2024
Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.
Dataset, March, 2024
Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.
Dataset, March, 2024
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020