CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. - Rahul Kumar 002; Thomas Ball 001; Jakob Lichtenberg; Nate Deisinger; Apoorv Upreti; Chetan Bansal (IFM, 2016)