Validating datacenters at scale.
Karthick JayaramanNikolaj BjørnerJitu PadhyeAmar AgrawalAshish BhargavaPaul-Andre C. BissonnetteShane FosterAndrew HelwerMark KastenIvan LeeAnup NamdhariHaseeb NiazAniruddha ParkhiHanukumar PinnamrajuAdrian PowerNeha Milind RajeParag SharmaPublished in: SIGCOMM (2019)