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

[John Criswell]

Changes in directory llvm-www/safecode:

downloads.html updated: 1.5 -> 1.6
pubs.html updated: 1.6 -> 1.7
sidebar.incl updated: 1.3 -> 1.4
---
Log message:

Started integrating the SVA web site.


---
Diffs of the changes:  (+46 -50)

 downloads.html |    2 +
 pubs.html      |   93 ++++++++++++++++++++++++++-------------------------------
 sidebar.incl   |    1 
 3 files changed, 46 insertions(+), 50 deletions(-)


Index: llvm-www/safecode/downloads.html
diff -u llvm-www/safecode/downloads.html:1.5 llvm-www/safecode/downloads.html:1.6
--- llvm-www/safecode/downloads.html:1.5	Mon May 17 12:06:28 2010
+++ llvm-www/safecode/downloads.html	Mon May 17 12:19:19 2010
@@ -63,6 +63,8 @@
         <br>
         <br>
         <br>
+        <br>
+        <br>
         </p>
 			</div>
 		</div>				


Index: llvm-www/safecode/pubs.html
diff -u llvm-www/safecode/pubs.html:1.6 llvm-www/safecode/pubs.html:1.7
--- llvm-www/safecode/pubs.html:1.6	Mon May 17 12:06:28 2010
+++ llvm-www/safecode/pubs.html	Mon May 17 12:19:19 2010
@@ -45,13 +45,54 @@
 
 		<div id="main">		
 		
-			<a name="SAFECode Publications"></a>			
+			<a name="SAFECode and SVA Publications"></a>			
 			<div class="box">
 				
-				<h1>SAFECode Publications</h1>
+				<h1>SAFECode and SVA Publications</h1>
         <hr>
 
         <ul>
+        <li><a href="http://llvm.org/pubs/2009-08-12-UsenixSecurity-SafeSVAOS.html">
+        <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>
+
+        <li><a href="http://llvm.org/pubs/2007-SOSP-SVA.html">
+        <b>
+        Secure Virtual Architecture: A Safe Execution Environment for Commodity
+        Operating Systems</b></a>
+        <br>
+        John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve
+        <br>
+        <i>Proceedings of the Twenty First ACM Symposium on Operating Systems
+        Principles (SOSP '07)</i>, Stevenson, WA, October 2007.
+        <br>
+        <b>Received an SOSP 2007 Audience Choice Award.</b>
+        </li>
+
+        <br>
+
+        <li>
+        <a href="http://llvm.org/pubs/2006-06-18-WIOSCA-LLVAOS.html">
+        <b>
+        A Virtual Instruction Set
+        Interface for Operating System Kernels</b></a>
+        <br>
+        John Criswell, Brent Monroe, and Vikram Adve.<br><i>
+        Workshop on the Interaction between Operating Systems and Computer
+        Architecture (WIOSCA '06)</i>, Boston, Massachusetts, 2006.<br></li>
+        </ul>
+
+
+        <ul>
         <li><a href="http://llvm.org/pubs/2006-DSN-DanglingPointers.html">
         <b>
         Efficiently Detecting All Dangling Pointer Uses in Production Servers
@@ -141,54 +182,6 @@
 
         <br>
       </div>
-
-			<a name="Related Publications"></a>			
-			<div class="box">
-				
-				<h1>Related Publications</h1>
-        <hr>
-
-        <ul>
-        <li><a href="http://llvm.org/pubs/2009-08-12-UsenixSecurity-SafeSVAOS.html">
-        <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>
-
-        <li><a href="http://llvm.org/pubs/2007-SOSP-SVA.html">
-        <b>
-        Secure Virtual Architecture: A Safe Execution Environment for Commodity
-        Operating Systems</b></a>
-        <br>
-        John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve
-        <br>
-        <i>Proceedings of the Twenty First ACM Symposium on Operating Systems
-        Principles (SOSP '07)</i>, Stevenson, WA, October 2007.
-        <br>
-        <b>Received an SOSP 2007 Audience Choice Award.</b>
-        </li>
-
-        <br>
-
-        <li>
-        <a href="http://llvm.org/pubs/2006-06-18-WIOSCA-LLVAOS.html">
-        <b>
-        A Virtual Instruction Set
-        Interface for Operating System Kernels</b></a>
-        <br>
-        John Criswell, Brent Monroe, and Vikram Adve.<br><i>
-        Workshop on the Interaction between Operating Systems and Computer
-        Architecture (WIOSCA '06)</i>, Boston, Massachusetts, 2006.<br></li>
-        </ul>
-
-			</div>
 		</div>				
 		
 	<br />			


Index: llvm-www/safecode/sidebar.incl
diff -u llvm-www/safecode/sidebar.incl:1.3 llvm-www/safecode/sidebar.incl:1.4
--- llvm-www/safecode/sidebar.incl:1.3	Fri Apr 16 10:15:56 2010
+++ llvm-www/safecode/sidebar.incl	Mon May 17 12:19:19 2010
@@ -2,6 +2,7 @@
   <h1 class="clear">Menu</h1>
   <ul class="sidemenu">
     <li><a href="index.html">Home</a></li>
+    <li><a href="sva.html">Secure Virtual Architecture</a></li>
     <li><a href="downloads.html">Downloads</a></li>
     <li><a href="mailing.html">Mailing Lists</a></li>
     <li><a href="pubs.html">Publications</a></li>