Displaying 1 result from an estimated 1 matches for "d0175abd".
2015 Aug 19
3
Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"
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