Biblio

Export 1 results:
Filters: Author is Haoran Ding  [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.