Publication: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers"

Project Infrastructure LLVM Dev List Archives
#1

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

#2

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

#3

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

#4

Hi,

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

Thanks,
– Zvonimir

#5

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

#6

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

#7

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

cheers,
--renato