Aurojit Panda, Mooly Sagiv, Scott Shenker. Verification in the Age of Microservices. In Alexandra Fedorova, Andrew Warfield, Ivan Beschastnikh, Rachit Agarwal 0001, editors, Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017. pages 30-36, ACM, 2017. [doi]
Abstract is missing.