Yuantian Ding
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Xiaokang Qiu6 talks
- Yingfei Xiong9 talks
- Ruyi Ji8 talks
- Rui Dong6 talks
- Xinyu Wang14 talks
- Xuanyu Peng3 talks
| title | conference | date |
|---|---|---|
| A Concurrent Approach to String Transformation Synthesis | PLDI 2025 | 2025-06-16 |
Claims a first concurrent synthesis algorithm for string transformations that pairs an asynchronous deducer with a multi-request enumerator and uses an… | ||
| Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu... | POPL 2024 | 2024-01-14 |
DryadSynth implements a concrete pipeline that combines term-graph-based enumeration, example-guided filtration, LLM-prioritized components, and a bottom-up… | ||
| nothing matches | ||