Geoff Kuenning
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Erez Zadok2×
- Gerard Holzmannonce
- Manish Adkaronce
all 8 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| Carver: Finding Important Parameters for Storage System Tuning | FAST '20 | 2020-02-24 |
Carver measures each storage parameter’s effect as the variance-based metric (reduction in response variance), samples huge spaces with Latin Hypercube… | ||
| nothing matches | ||