Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuantian Ding
conf.researchr.org general profile
PLDI 2025 profile
POPL 2024 profile
Registered user since Wed 12 Jul 2023
Name:
Yuantian Ding
Contributions
2025
PLDI
Author of A Concurrent Approach to String Transformation Synthesis within the PLDI Research Papers-track
2024
POPL
Author of Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations within the POPL-track
Share
x
Thu 5 Nov 20:11