[www-pubs] r245816 - Added Zvonimir Rakamaric's ASE 2015 paper.

John Criswell via llvm-commits llvm-commits at lists.llvm.org
Sun Aug 23 11:46:07 PDT 2015


Author: criswell
Date: Sun Aug 23 13:46:06 2015
New Revision: 245816

URL: http://llvm.org/viewvc/llvm-project?rev=245816&view=rev
Log:
Added Zvonimir Rakamaric's ASE 2015 paper.

Modified:
    www-pubs/trunk/pubs.js

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=245816&r1=245815&r2=245816&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Sun Aug 23 13:46:06 2015
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://soarlab.org/publications/ase2015-ddr.pdf",
+    author: "Pantazis Deligiannis, Alastair F. Donaldson, and Zvonimir Rakamaric",
+    title: "Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers",
+    published: "Proceedings of the Thirtieth IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)",
+    month: 11,
+    year: 2015
+  },
+
   { url: "http://web.ist.utl.pt/nuno.lopes/pubs/alive-pldi15.pdf",
     author: "Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr",
     title: "Provably Correct Peephole Optimizations with Alive",




More information about the llvm-commits mailing list