Yun-Sheng Chang
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
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verifying vMVCC, a high-performance transaction library using multi-version concurrency.. | OSDI 2023 | 2023-07-10 |
vMVCC claims to be the first MVCC transaction library with a machine-checked proof and ships as about 800 lines of Go (open source). It implements in-memory… | ||
| OPTR: Order-Preserving Translation and Recovery Design for SSDs with a Standard Block Device Interface | USENIX ATC '19 | 2019-07-10 |
Proposes OPTR, an FTL+recovery design that keeps the standard block device interface and gives three request‑level crash guarantees: ordered durability… | ||
| nothing matches | ||