Xinyu Feng
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Xing Zhang3 talks
- Ruifeng Xie5 talks
- Zhenjiang Hu15 talks
- Jingling Xue13 talks
- Dongjie He3 talks
- Yu Jiang21 talks
| title | conference | date |
|---|---|---|
| An Overview of the Cangjie Language | PLDI 2025 | 2025-06-16 |
Cangjie is a new statically typed, garbage‑collected language for HarmonyOS with an ARVM backend, stack‑based green threads with dynamic stack growth and a… | ||
| Reasoning about Progress of Concurrent Objects | PEPM 2020 | 2020-01-20 |
Introduces a Hoare‑style program logic that proves termination properties of concurrent objects by separating two concrete causes of nontermination — blocking… | ||
| nothing matches | ||