Chengnian Sun
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 14 in the filters
who talks about the same things
- Zhenyang Xu2 talks
- Mengxiao Zhang2 talks
- Yongqiang Tian2 talks
- Yu Jiang21 talks
- Jun Sun6 talks
- Quan Zhang4 talks
| title | conference | date |
|---|---|---|
| Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations | OOPSLA 2025 | 2025-10-16 |
Introduces Structure Form Conversion as a new syntax-guided transformation and implements three methods including Smaller Structure Replacement and Structure… | ||
| Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction | OOPSLA 2023 | 2023-10-23 |
Vulcan is a language-agnostic postprocessor built on Perses that repeatedly applies three auxiliary reducers—identifier replacement, subtree replacement guided… | ||
| Building Dynamic System Call Sandbox with Partial Order Analysis | OOPSLA 2023 | 2023-10-23 |
Builds a runtime system-call sandbox called DBox that instruments program binaries to gradually disable system calls at identified reduction points using… | ||
| RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing | USENIX ATC '21 | 2021-07-14 |
RIFF reduces fuzzing overhead by moving runtime computations to instrumentation-time and by turning per-block coverage writes into single-instruction… | ||
| nothing matches | ||