Pei Liu
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 1 in the filters
on a stage with
- Erez Zadokonce
- Geoff Kuenningonce
- Gerard Holzmannonce
all 7 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Metis: File System Model Checking via Versatile Input and State Exploration | 22nd USENIX Conference on File and Storage Technologies (FAST '24) | 2024-02-27 |
Metis is a model-checking framework that generates system-call sequences via a nondeterministic loop and weighting scheme, stores both concrete and compact… | ||
| nothing matches | ||