Ziteng Wang

Orcid: 0009-0001-8487-8093

Affiliations:

University of Texas at Austin, Austin, TX, USA

According to our database¹, Ziteng Wang authored at least 11 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Homomorphism Calculus for User-Defined Aggregations.

[BibT_eX]

[DOI]

CoRR, August, 2025

Software Artifact for "Homomorphism Calculus for User-Defined Aggregations".

[BibT_eX]

[DOI]

Dataset, August, 2025

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation.

[BibT_eX]

[DOI]

CoRR, April, 2025

2024

Software Artifact for "Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis".

[BibT_eX]

[DOI]

Benjamin Mariano

Ziteng Wang

Shankara Pailoor

Christian S. Collberg

Isil Dillig

Dataset, August, 2024

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.

[BibT_eX]

[DOI]

Dataset, March, 2024

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.

[BibT_eX]

[DOI]

Dataset, March, 2024

From Batch to Stream: Automatic Generation of Online Algorithms.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.

[BibT_eX]

[DOI]

Benjamin Mariano

Ziteng Wang

Shankara Pailoor

Christian S. Collberg

Isil Dillig

Proc. ACM Program. Lang., 2024

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2020

Digging for fold: synthesis-aided API discovery for Haskell.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Program synthesis by type-guided abstraction refinement.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Ziteng Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...