Xing Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 12 in the filters
who talks about the same things
- Guanchen Guo2 talks
- Xiao He2 talks
- Bo Wang10 talks
- Zhenjiang Hu15 talks
- Ruifeng Xie5 talks
- Jun Sun6 talks
| title | conference | date |
|---|---|---|
| Fuzzing C++ Compilers via Type-Driven Mutation | OOPSLA 2025 | 2025-10-16 |
TyMut is a mutation-based C++ type-system fuzzer that runs for 32 hours to generate and test 250,584 programs, using 30 mutation operators across five… | ||
| Fusing Direct Manipulations into Functional Programs | POPL 2024 | 2024-01-14 |
Operation-based system defines a small composable Delta language DM for edits (add, mul, tuple, list-fold, constraints) and a fusion algorithm that propagates… | ||
| Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani... | OOPSLA 2023 | 2023-10-23 |
Claims a first bidirectional object‑oriented language, BFJ, with a new backward semantics that handles ambiguous class‑hierarchy updates and mutable references… | ||
| nothing matches | ||