Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal: CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM 2016: 523-536