[llvm-dev] Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"

[Zvonimir Rakamaric via llvm-dev]

Hi,

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:
http://soarlab.org/2015/08/ase2015-ddr/

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
publications.

Thanks!

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