Automated Verification of Idempotence for Stateful Serverless Applications.

Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen

Browse the full OSDI paper archive.