Zhaoguo Wang
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Automated Verification of Idempotence for Stateful Serverless Applications | OSDI 2023 | 2023-07-10 |
Flux presents a verifier and advisor that check and fix idempotence for stateful serverless apps by proving a new correctness notion idempotence consistency… | ||
| Polyjuice: High-Performance Transactions via Learned Concurrency Control | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Polyjuice is a learned concurrency-control system that encodes CC as a per-access policy table mapping (transaction type, access id) to choices for waiting… | ||
| Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp | NSDI ’21 | 2021-04-12 |
Proposes decentralized scalar timestamp DST that removes a centralized timestamp service while remaining a single-word scalar for storage and network… | ||
| Pisces: A Scalable and Efficient Persistent Transactional Memory | USENIX ATC '19 | 2019-07-10 |
Pisces implements a dual-version concurrency control with at most two NVM-resident versions per object and a three-stage commit to separate persistence… | ||
| nothing matches | ||