[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
above webpage.

I would appreciate if you could add this paper to your list of LLVM-based


-- Zvonimir
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150819/4bc86913/attachment.html>

More information about the llvm-dev mailing list