Xizhe Yin
where else to find them
website:https://xyin014.github.io/
website:https://www.cs.ucr.edu/~xyin014/
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Baowen Xuonce
- Chun Jason Xueonce
- Hong Xuonce
all 15 in the filters
who talks about the same things
- Qingkai Shi5 talks
- Yunbo Ni3 talks
- Shaohua Li5 talks
- Zhendong Su25 talks
- Yu Jiang21 talks
- Quan Zhang4 talks
| title | conference | date |
|---|---|---|
| Efficient GPU-Centric Evolving Graph Processing at Scale | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
POEGA is a GPU-centric framework that uses proxy graphs to keep a compact in-memory approximation, runs a fused kernel to process many snapshots concurrently… | ||
| An Empirical Study of Bugs in the rustc Compiler | OOPSLA 2025 | 2025-10-16 |
Analysis of 301 rustc issues from 2022–2024 shows concrete fault patterns: about 30% root in the type system, ~15% in ownership, ~15% from MIR optimizations… | ||
| TLC: Temporal Logic of Distributed Components | ICFP 2020 | 2020-08-23 |
TLC is a temporal program logic that verifies both safety and liveness of layered distributed components and proves soundness against an operational semantics… | ||
| nothing matches | ||