[llvm-dev] Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"
Zvonimir Rakamaric via llvm-dev
llvm-dev at lists.llvm.org
Tue Aug 18 21:47:59 PDT 2015
We recently published another paper that leverages LLVM (through our SMACK
software verifier and novel tool called Whoop), and this time we focus on
detecting concurrency bugs in device drivers:
You can find all the required info (PDF, title, abstract, etc.) at the
I would appreciate if you could add this paper to your list of LLVM-based
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev