Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen 0001, Haibo Chen 0001. Automated Verification of Idempotence for Stateful Serverless Applications. In Roxana Geambasu, Ed Nightingale, editors, 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. pages 887-910, USENIX Association, 2023. [doi]
Abstract is missing.