[llvm-commits] CVS: llvm-www/safecode/pubs.html

[John Criswell]

Changes in directory llvm-www/safecode:

pubs.html updated: 1.2 -> 1.3
---
Log message:

Added missing SAFECode publications.
Added SVA publication from Usenix Security 2009.
Added full conference names for some entries.


---
Diffs of the changes:  (+59 -4)

 pubs.html |   63 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++----
 1 files changed, 59 insertions(+), 4 deletions(-)


Index: llvm-www/safecode/pubs.html
diff -u llvm-www/safecode/pubs.html:1.2 llvm-www/safecode/pubs.html:1.3
--- llvm-www/safecode/pubs.html:1.2	Tue Nov  3 09:38:56 2009
+++ llvm-www/safecode/pubs.html	Tue Nov  3 10:20:02 2009
@@ -50,7 +50,47 @@
 				
 				<h1>SAFECode Publications</h1>
         <hr>
-				
+
+        <ul>
+        <li><a href="http://llvm.org/pubs/2006-DSN-DanglingPointers.html">
+        <b>
+        Efficiently Detecting All Dangling Pointer Uses in Production Servers
+        </b></a>
+        <br>
+        Dinakar Dhurjati and Vikram Adve.
+        <br>
+        International Conference on Dependable Systems and Networks (DSN), 2006
+        </li>
+
+        <br>
+
+        <ul>
+        <li><a href="http://llvm.org/pubs/2006-06-12-PLDI-SAFECode.html">
+        <b>
+        SAFECode: Enforcing Alias Analysis for Weakly Typed Languages
+        </b></a>
+        <br>
+        Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve.
+        <br>
+        ACM SIGPLAN Conference on Programming Language Design and
+Implementation (PLDI), June 2006
+        </li>
+
+        <br>
+
+        <ul>
+        <li><a href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html">
+        <b>
+        Backwards-Compatible Array Bounds Checking for C with Very Low Overhead
+        </b></a>
+        <br>
+        Dinakar Dhurjati and Vikram Adve.
+        <br>
+        International Conference on Software Engineering (ICSE), May 2006
+        </li>
+
+        <br>
+
         <ul>
         <li><a href="http://llvm.org/pubs/2005-11-SAFECodeTR.html">
         <b>
@@ -61,7 +101,7 @@
         Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., University of Illinois, Nov 2005
         </li>
 
-        <p></p>
+        <br>
 
         <li>
         <a href="http://llvm.org/pubs/2005-02-TECHREPORT-SAFECode.html"><b>
@@ -85,7 +125,7 @@
         <br>
         Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
         <br>
-        LCTES 2003.
+        Languages Compilers and Tools for Embedded Systems (LCTES), June 2003.
         </li>
 
         <br>
@@ -98,7 +138,8 @@
         <br>
         Sumant Kowshik, Dinakar Dhurjati, Vikram Adve.
         <br>
-        CASES 2002.
+        Internaltional Conference on Compilers, Architecture and Synthesis for
+        Embedded Systems (CASES), October 2002.
         </li>
 
         <br>
@@ -111,6 +152,20 @@
         <hr>
 
         <ul>
+        <li><a href="http://llvm.org/pubs/2009-08-12-UsenixSecurity-SafeSVAOS.htmll">
+        <b>
+        Memory Safety for Low-Level Software/Hardware Interactions
+        </b></a>
+        <br>
+        John Criswell, Nicolas Geoffray, and Vikram Adve
+        <br>
+        <i>Proceedings of the Eighteenth USENIX Security Symposium</i>,
+        Montreal, Canada, August 2009.
+        </li>
+
+        <br>
+
+        <ul>
         <li><a href="http://llvm.org/pubs/2007-SOSP-SVA.html">
         <b>
         Secure Virtual Architecture: A Safe Execution Environment for Commodity