Atlas: Towards Real-Time Verification in Large-Scale Networks via a Native Distributed Architecture.

Mingxiao Ma, Yuehan Zhang, Jingyu Wang, Bo He, Chenyang Zhao, Qi Qi, Zirui Zhuang, Haifeng Sun, Lingqi Guo, Yuebin Guo, Gong Zhang, Jianxin Liao

Browse the full EuroSys paper archive.