43 citations · 129 across the 62 of their papers we have counts for
1 paper · 1 filter
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Micro…