Displaying 1 result from an estimated 1 matches for "4bc86913".
2015 Aug 19
3
Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"
...bstract, etc.) at the
above webpage.
I would appreciate if you could add this paper to your list of LLVM-based
publications.
Thanks!
Best,
-- Zvonimir
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150819/4bc86913/attachment.html>