Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea. Verifying software network functions with no verification expertise. In Tim Brecht, Carey Williamson, editors, Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville,, ON, Canada, October 27-30, 2019. pages 275-290, ACM, 2019. [doi]
Abstract is missing.