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

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

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

Hi,

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

Thanks,
– Zvonimir

Ouch, that was a long time ago. Apologies if no one saw that.

Did this paper appear in any conference / journal? It's not necessary,
but good to mention, as we normally do here:

http://llvm.org/pubs/

cheers,
--renato

Here it goes:
Title: Archer: Effectively Spotting Data Races in Large OpenMP Applications
PDF: http://soarlab.org/publications/ipdps2016-agralslpm.pdf
Authors: Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Greg L. Lee, Joachim Protze, Matthias S. Muller
Conference: Proceedings of the 30th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2016), May 2016

Thanks!
– Zvonimir

Done: http://llvm.org/pubs/

cheers,
--renato