Upamanyu Sharma
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
all 7 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… | ||
| Performal: Formal Verification of Latency Properties for Distributed Systems | PLDI 2023 | 2023-06-17 |
PerforMal gives a concrete method to prove worst case latency for real distributed code by modeling programs as state machines in Daphne, attaching ghost… | ||
| nothing matches | ||