Dinghong Zhong
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 |
|---|---|---|
| Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse | WebAssembly Workshop @ ICFP/SPLASH 2025 | 2025-10-16 |
Claims a concolic engine that compiles a CPS-based Wasm concolic interpreter to C++ via partial evaluation (LMS), producing an executable that combines no… | ||
| A Big-Step Compositional Continuation-Passing Semantics for WebAssembly | WAW 2025 | 2025-01-20 |
Presents a compositional CPS semantics for a WebAssembly subset that replaces the official small-step reduction with a big-step, tail-recursive interpreter… | ||
| nothing matches | ||