Occam: A Programming System for Reliable Network Management. - Jiarong Xing; Kuo-Feng Hsu; Yiting Xia; Yan Cai 018; Yanping Li; Ying Zhang 022; Ang Chen 001 (EuroSys, 2024)