Towards Efficient Verification of Distributed In-Network Computing Programs.

Mingyuan Song, Huan Shen, Jinghui Jiang, Qiang Su, Ziheng Zhang, Qingyu Song, Yuchao Zhang, Wanjian Feng, Fei Yuan, Yitao Xing, Wenjia Wei, Qiao Xiang, Jiwu Shu

Browse the full SIGCOMM paper archive.