Yuantian Ding

Orcid: 0009-0008-9941-6394

According to our database¹, Yuantian Ding authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

A Concurrent Approach to String Transformation Synthesis.

[DOI]

Proc. ACM Program. Lang., 2025

2024

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations.

[DOI]

Proc. ACM Program. Lang., January, 2024