Haoze Wu
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Clark Barrettonce
- Guy Katzonce
- Idan Refaelionce
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| CoFS: A Filesystem for Fast Container Startup | FAST '26 | 2026-02-24 |
CoFS implements an extended FUSE kernel driver plus an image-time metadata layout that stores a minimal perfect hash and a dense metadata array so lookup needs… | ||
| Proof Minimization in Neural Network Verification | VMCAI 2026 | 2026-01-12 |
Algorithms that shrink unsat proofs from DNN verifiers by removing learned lemmas and unnecessary dependencies, implemented on the Marabou verifier and tested… | ||
| Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred... | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Legolas statically instruments code with fine-grained injection hooks and automatically infers abstract state variables (ASVs) to compress millions of fault… | ||
| nothing matches | ||