Xiaokang Qiu
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2024
on a stage with
- Yuantian Ding2×
- Chuan Jiangonce
- Sanjay Raoonce
all 5 in the filters
who talks about the same things
- Yuantian Ding2 talks
- Yingfei Xiong9 talks
- Ruyi Ji8 talks
- Xinyu Wang14 talks
- Jeffrey S. Foster10 talks
- Arjun Radhakrishna10 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… | ||
| Comparative Synthesis: Learning Near-Optimal Network Designs by Query | POPL 2023 | 2023-01-15 |
Framework learns an implicit objective by asking the user Compare or Propose queries and returns a near-optimal allocation after a small budget (ten) of… | ||
| nothing matches | ||