Jiangchang Wu
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
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative(…) | OOPSLA 2025 | 2025-10-16 |
Aries validates SMT rewriters by combining mimetic mutation that reshapes seed formulas to match rewrite left‑hand sides with generative equality saturation… | ||
| Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration | USENIX ATC '25 | 2025-07-07 |
ATLAS inserts attributes into functions, variables, and statements, analyzes types and local-variable relations to pick compatible compiler flags, and compiles… | ||
| nothing matches | ||