<div dir="ltr">Hi,<div><br></div><div>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:</div><div><a href="http://soarlab.org/2015/08/ase2015-ddr/">http://soarlab.org/2015/08/ase2015-ddr/</a><br></div><div><br></div><div>You can find all the required info (PDF, title, abstract, etc.) at the above webpage.</div><div><br></div><div>I would appreciate if you could add this paper to your list of LLVM-based publications.</div><div><br></div><div>Thanks!</div><div><br></div><div>Best,</div><div>-- Zvonimir</div></div>