OSDI '23 - Automated Verification of Idempotence for Stateful Serverless Applications

OSDI '23 - Automated Verification of Idempotence for Stateful Serverless Applications

Haoran Ding, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Zhaoguo Wang, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Zhuohao Shen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, Rong Chen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory, Haibo Chen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University …

applications automated distributed distributed systems serverless serverless applications shanghai systems university verification wang