[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

Dear Zvonimir,

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


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

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

More information about the llvm-dev mailing list