Yican Sun
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
- Yingfei Xiong2×
- Ruyi Jionce
- Xuanyu Pengonce
all 4 in the filters
who talks about the same things
- Yingfei Xiong9 talks
- Ruyi Ji8 talks
- Xuanyu Peng3 talks
- Zhenjiang Hu15 talks
- Yizhou Zhang13 talks
- Fei He5 talks
| title | conference | date |
|---|---|---|
| Synthesizing Efficient Memoization Algorithms | OOPSLA 2023 | 2023-10-23 |
Automated synthesizer takes a MiniZinc-style declarative spec and produces a top-down memoization algorithm by extracting subproblems and synthesizing two… | ||
| Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example | OOPSLA 2020 | 2020-11-15 |
MaxFlash combines dynamic programming (PROSE-style witness functions and caching) with structural probability from Euphony, using a topdown prediction model to… | ||
| nothing matches | ||