[www-pubs] r283871 - [pubs] Adding GKLEE publications

[Renato Golin via llvm-commits]

Author: rengolin
Date: Tue Oct 11 06:16:01 2016
New Revision: 283871

URL: http://llvm.org/viewvc/llvm-project?rev=283871&view=rev
Log:
[pubs] Adding GKLEE publications

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=283871&r1=283870&r2=283871&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Tue Oct 11 06:16:01 2016
@@ -1,7 +1,26 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
-// the page in the order listed.
+// the page in the order listed. Please, copy the pattern below in the right
+// place and coplete the fields.
+//
+//  { url: "",
+//    author: "",
+//    title: "",
+//    published: "",
+//    award: "",
+//    month: MM,
+//    year: YYYY,
+//  },
+
 var PUBS =
 [
+  { url: "http://formalverification.cs.utah.edu/new/Publications.html#vcsharma_hipc16",
+    author: "Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy",
+    title: "PRESAGE: Protecting Structured Address Generation against Soft Errors",
+    published: "IEEE International Conference of High-Performance Computing, Data, and Analysis (HiPC)",
+    month: 11,
+    year: 2016
+  },
+
   { url: "https://hal.archives-ouvertes.fr/hal-01192668",
     author: "Christophe Denis, Pablo de Oliveira Castro, and Eric Petit",
     title: "Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic.",
@@ -35,6 +54,14 @@ var PUBS =
     year: 2016
   },
 
+  { url: "http://www.cs.utah.edu/~vcsharma/pubs/dpdns2016-shrg.pdf",
+    author: "Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy",
+    title: "Towards Resiliency Evaluation of Vector Programs",
+    published: "21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS)",
+    month: 05,
+    year: 2016
+  },
+
   { url: "http://soarlab.org/publications/ipdps2016-agralslpm.pdf",
     author: "Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Greg L. Lee, Joachim Protze, Matthias S. Muller",
     title: "Archer: Effectively Spotting Data Races in Large OpenMP Applications",
@@ -173,6 +200,14 @@ var PUBS =
     year: 2014,
   },
 
+  { url: "http://formalverification.cs.utah.edu/papers/SC14-GKLEE-SESA.pdf",
+    author: "Peng Li, Guodong Li, Ganesh Gopalakrishnan",
+    title: "Practical Symbolic Checking of GPU Programs",
+    published: "Supercomputing",
+    month: 11,
+    year: 2014,
+  },
+
   { url: "http://dx.doi.org/10.1007/978-3-319-11737-9_17",
     author: "Si-Mohamed Lamraoui and Shin Nakajima",
     title: "A Formula-Based Approach for Automatic Fault Localization of Imperative Programs",
@@ -554,6 +589,14 @@ var PUBS =
     year: 2012,
   },
 
+  { url: "http://www.cs.utah.edu/fv/pdf/PPoPP12-GKLEE-Extended-Version.pdf",
+    author: "Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan",
+    title: "GKLEE: Concolic Verification and Test Generation for GPUs",
+    published: "Principles and Practices of Parallel Programming (PPoPP)",
+    month: 2,
+    year: 2012,
+  },
+
   { url: "http://www.cis.upenn.edu/~stevez/papers/ZNMZ12.pdf",
     author: "Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic",
     title: "Formalizing the LLVM Intermediate Representation for Verified Program Transformations",