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

[John Criswell via llvm-dev]

Dear Zvonimir,

I've added the entry to the publications page.  Please take a look and 
let me know if any changes are required.

Regards,

John Criswell

On 8/19/15 12:47 AM, Zvonimir Rakamaric via llvm-dev wrote:
> 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
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev


-- 
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
http://www.cs.rochester.edu/u/criswell

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150823/9ae9d599/attachment.html>