[www-pubs] r174062 - Added two publications using LLVM by Marcelo Sousa.

[John Criswell]

Author: criswell
Date: Thu Jan 31 09:34:39 2013
New Revision: 174062

URL: http://llvm.org/viewvc/llvm-project?rev=174062&view=rev
Log:
Added two publications using LLVM by Marcelo Sousa.

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=174062&r1=174061&r2=174062&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Thu Jan 31 09:34:39 2013
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://dl.acm.org/citation.cfm?id=2380498",
+    author: " Marcelo Sousa and  Alper Sen",
+    title: "Generation of TLM Testbenches Using Mutation Testing",
+    published: "IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis",
+    month: 9,
+    year: 2012,
+  },
+
   { url: "http://erllvm.softlab.ntua.gr/files/erlang03-sagonas.pdf",
     author: "K. Sagonas, C. Stavrakakis, and Y. Tsiouris",
     title: "ErLLVM: An LLVM backend for Erlang",
@@ -10,6 +18,14 @@ var PUBS =
     year: 2012,
   },
 
+  { url: "http://igitur-archive.library.uu.nl/student-theses/2012-0925-200740/UUindex.html",
+    author: " Marcelo Sousa",
+    title: "A Framework for Formal Verification of Concurrent Software",
+    published: "MSc Thesis",
+    month: 8,
+    year: 2012,
+  },
+
   { url: "https://www.usenix.org/system/files/conference/usenixsecurity12/sec12-final181.pdf",
     author: "Cristiano Giuffrida, Anton Kuijsten, and Andrew S. Tanenbaum",
     title: "Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization",