Displaying 2 results from an estimated 2 matches for "ipdps2016".
2016 Aug 31
2
Publication: "Archer: Effectively Spotting Data Races in Large OpenMP Applications"
...ks,
-- 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 ---...
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