[www-pubs] r280381 - [www-pubs] Adding flow analysis papers

[Renato Golin via llvm-commits]

Author: rengolin
Date: Thu Sep  1 12:14:33 2016
New Revision: 280381

URL: http://llvm.org/viewvc/llvm-project?rev=280381&view=rev
Log:
[www-pubs] Adding flow analysis papers

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=280381&r1=280380&r2=280381&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Thu Sep  1 12:14:33 2016
@@ -2,6 +2,14 @@
 // the page in the order listed.
 var PUBS =
 [
+  { url: "http://www.cse.unsw.edu.au/~ysui/papers/fse16.pdf",
+    author: "Yulei Sui and Jingling Xue",
+    title: "On-Demand Strong Update Analysis via Value-Flow Refinement",
+    published: "ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE 2016)",
+    month: 11,
+    year: 2016
+  },
+
   { url: "http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf",
     author: "David Menendez, Santosh Nagarakatte, and Aarti Gupta",
     title: "Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM",
@@ -27,6 +35,22 @@ var PUBS =
     year: 2016
   },
 
+  { url: "http://www.cse.unsw.edu.au/~ysui/papers/cgo16.pdf",
+    author: "Yulei Sui and Jingling Xue",
+    title: "Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs",
+    published: "2016 International Symposium on Code Generation and Optimization (CGO 2016)",
+    month: 03,
+    year: 2016
+  },
+
+  { url: "http://www.cse.unsw.edu.au/~ysui/papers/cc16.pdf",
+    author: "Yulei Sui and Jingling Xue",
+    title: "SVF: Interprocedural Static Value-Flow Analysis in LLVM",
+    published: "25th International Conference on Compiler Construction (CC 2016)",
+    month: 03,
+    year: 2016
+  },
+
   { url: "http://dl.acm.org/citation.cfm?id=2843863",
     author: "Luke Jones, Ryan Whelan, Jeremy Blackthorne, and Graham Baker",
     title: "Flowtables: Program Skeletal Inversion for Defeat of Interprocedural Analysis with Unique Metamorphism",