Xueying Qin
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2020–2025
on a stage with
all 11 in the filters
who talks about the same things
- Liam O'Connor7 talks
- Ohad Kammar19 talks
- Michel Steuwer17 talks
- Deepak Garg18 talks
- Steve Zdancewic19 talks
- Olin Shivers9 talks
| title | conference | date |
|---|---|---|
| Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) | ICFP 2025 | 2025-10-12 |
Presents a trimmed formal core called λχ with just ten operational rules and a new semilenient evaluation strategy that mixes lenient (evaluate under binders)… | ||
| Shoggoth - A Formal Foundation for Strategic Rewriting | POPL 2024 | 2024-01-14 |
Provides a formal denotational semantics for System S and a big-step operational semantics that explicitly models divergence, proves computational soundness… | ||
| Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High... | ICFP 2020 | 2020-08-23 |
Functional languages RISE and ELEVATE rewrite high-level data-parallel programs into optimized low-level code, expressing tiling, fusion and loop-permutation… | ||
| nothing matches | ||