On verifying stateful dataflow processing services in large-scale cloud systems.

Juan Du, Xiaohui Gu, Ting Yu

Browse the full CCS paper archive.