%0 Conference Paper %1 conf/osdi/DingWS0023 %A Ding, Haoran %A Wang, Zhaoguo %A Shen, Zhuohao %A Chen, Rong %A Chen, Haibo %B OSDI %D 2023 %E Geambasu, Roxana %E Nightingale, Ed %I USENIX Association %K dblp %P 887-910 %T Automated Verification of Idempotence for Stateful Serverless Applications. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2023.html#DingWS0023

@inproceedings{conf/osdi/DingWS0023, added-at = {2023-07-15T00:00:00.000+0200}, author = {Ding, Haoran and Wang, Zhaoguo and Shen, Zhuohao and Chen, Rong and Chen, Haibo}, biburl = {https://www.bibsonomy.org/bibtex/281a9f39ef33daa4aed7ee261407529ce/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2023}, editor = {Geambasu, Roxana and Nightingale, Ed}, ee = {https://www.usenix.org/conference/osdi23/presentation/ding}, interhash = {067f457e8c994882d7bd40073bcbfd59}, intrahash = {81a9f39ef33daa4aed7ee261407529ce}, keywords = {dblp}, pages = {887-910}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:18.000+0200}, title = {Automated Verification of Idempotence for Stateful Serverless Applications.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2023.html#DingWS0023}, year = 2023 }