[llvm-dev] Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"
John Criswell via llvm-dev
llvm-dev at lists.llvm.org
Sun Aug 23 11:52:14 PDT 2015
I've added the entry to the publications page. Please take a look and
let me know if any changes are required.
On 8/19/15 12:47 AM, Zvonimir Rakamaric via llvm-dev wrote:
> 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 publications.
> -- Zvonimir
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
Department of Computer Science, University of Rochester
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev