Yichen Xu
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2022–2025
on a stage with
all 7 in the filters
who talks about the same things
- Oliver Bračevac9 talks
- Aleksander Boruch-Gruszecki9 talks
- Jonathan Immanuel Brachthäuser22 talks
- Han Xu6 talks
- Ningning Xie21 talks
- Ondřej Lhoták11 talks
| title | conference | date |
|---|---|---|
| What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…) | OOPSLA 2025 | 2025-10-16 |
Claims a new calculus System Capless with existential and universal capture-set quantification and a named mechanism rcaps that lets generic boxed capabilities… | ||
| System Capybara: Capture Tracking for Ownership and Borrowing | The Scala Workshop 2025 | 2025-10-12 |
System Capybara extends capture checking to track ownership and borrowing by adding access-mode-qualified captures (read vs owned), enforcing separation and… | ||
| Degrees of Separation: A Flexible Type System for Safe Concurrency | OOPSLA 2024 | 2024-10-20 |
A new calculus, Capture Separation Calculus (System CSC), tracks aliases via capturing types and lets code run unmodified by default but enforces separation… | ||
| Degrees of Separation: A Flexible Type System for Data Race Prevention | IWACO 2023 | 2023-10-24 |
Proposes Capture Separation Calculus (CSC) that lets aliasing remain common but tracks and restricts aliases only where races matter, proving type safety and… | ||
| A Mechanized Theory of the Box Calculus | IWACO 2023 | 2023-10-24 |
Mechanization of the Box Calculus appears as a complete Coq development that formalizes System CC_<:□ with Coq mechanization and produces a verified soundness… | ||
| Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning | OOPSLA 2022 | 2022-12-05 |
Introduces the cDOT calculus as a formal foundation that encodes subtyping information uncovered by pattern matching, builds on pDOT and DOT-style structural… | ||
| nothing matches | ||