Biblio

Export 5 results:
Filters: Author is Zhaoguo Wang  [Clear All Filters]
2023
Ding H, Wang Z, Shen Z, Chen R, Chen H.  2023.  Automated Verification of Idempotence for Stateful Serverless Applications. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :887--910.
2021
Wang J, Ding D, Wang H, Christensen C, Wang Z, Chen H, Li J.  2021.  Polyjuice: High-Performance Transactions via Learned Concurrency Control. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :198--216.
Wei X, Chen R, Chen H, Wang Z, Gong Z, Zang B.  2021.  Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :357--372.
2019
Gu J, Yu Q, Wang X, Wang Z, Zang B, Guan H, Chen H.  2019.  Pisces: A Scalable and Efficient Persistent Transactional Memory. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :913--928.
2015
Huang C-C, Chen Q, Wang Z, Power R, Ortiz J, Li J, Xiao Z.  2015.  Spartan: A Distributed Array Framework with Smart Tiling. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :1--15.