Xuandong Li
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
- Minxue Pan2×
- Yifei Lu2×
- Chaoyue Zhangonce
all 19 in the filters
who talks about the same things
- Minxue Pan2 talks
- Yifei Lu2 talks
- Chang Xu5 talks
- Xiaoxing Ma7 talks
- Tian Tan9 talks
- Yue Li10 talks
| title | conference | date |
|---|---|---|
| Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive(…) | OOPSLA 2025 | 2025-10-16 |
A practical selective object-sensitive pointer-analysis framework named Moon identifies which heap objects actually improve precision by reducing the problem… | ||
| HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing | OOPSLA 2024 | 2024-10-20 |
System builds a production-capable dynamic taint pipeline by statically identifying minimal trace points, rewriting binaries to emit only those values via… | ||
| Understanding and Finding Java Decompiler Bugs | OOPSLA 2024 | 2024-10-20 |
Systematic study of 333 real bug reports identifies that 40.2% have small repro tests, over 80% manifest as exceptions, syntactic, or semantic errors, and the… | ||
| Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional L | VMCAI 2022 | 2022-01-16 |
Enumerates candidate step semantics then shallow semantics paths: the discrete layer generates step-based compositional paths, the continuous layer generalizes… | ||
| nothing matches | ||