[www-pubs] r283871 - [pubs] Adding GKLEE publications
Renato Golin via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 11 04:16:01 PDT 2016
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",
More information about the llvm-commits
mailing list