llvm dev - Aug 2015 - 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 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>

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>

Hi,

We recently published a paper that leverages clang/LLVM (through
ThreadSanitizer) to dynamically detect data races in OpenMP programs:
http://soarlab.org/2016/02/ipdps2016-agralslpm/

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160621/d0175abd/attachment.html>

Hi,

Coming back to this, I would greatly appreciate if someone could add this
publication (based on TSan) to the list.

Thanks,
-- Zvonimir

On Tue, Jun 21, 2016 at 12:07 PM Zvonimir Rakamaric <zvonimir at
cs.utah.edu>
wrote:
> Hi,
>
> We recently published a paper that leverages clang/LLVM (through
> ThreadSanitizer) to dynamically detect data races in OpenMP programs:
> http://soarlab.org/2016/02/ipdps2016-agralslpm/
>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160831/f1aadda4/attachment.html>