Argo: An efficient verification framework for distributed in-network computing

Mingyuan Song, Huan Shen, Jinghui Jiang +7

Distributed in-network programs are increasingly deployed in data centers for their performance benefits, but shifting application logic to switches also enlarges the failure domai…