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

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. - Shuvendu K. Lahiri; Akash Lal; Sridhar Gopinath; Alexander Nutz; Vladimir Levin; Rahul Kumar 002; Nate Deisinger; Jakob Lichtenberg; Chetan Bansal (FMCAD, 2020)