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

[John Criswell]

Changes in directory llvm-www/safecode/menagerie:

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

Added the SafeDrive paper.


---
Diffs of the changes:  (+18 -1)

 os.html |   19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)


Index: llvm-www/safecode/menagerie/os.html
diff -u llvm-www/safecode/menagerie/os.html:1.2 llvm-www/safecode/menagerie/os.html:1.3
--- llvm-www/safecode/menagerie/os.html:1.2	Thu Jun 10 17:32:32 2010
+++ llvm-www/safecode/menagerie/os.html	Fri Jun 25 11:48:29 2010
@@ -115,6 +115,23 @@
         <br>
 
         <li>
+        <a href="http://portal.acm.org/citation.cfm?id=1298461">
+        <b>
+        SafeDrive: Safe and Recoverable Extensions Using Language-based
+        Techniques
+        </b></a>
+        <br>
+        Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals,
+        Matthew Harren, George Necula, and Eric Brewer
+        <br>
+        <i>
+        Proceedings of the Seventh Symposium on Operating Systems Design and
+        Implementation (OSDI '06)</i>, Seattle, WA, 2006.<br></li>
+        </li>
+
+        <br>
+
+        <li>
         <a href="http://llvm.org/pubs/2006-06-18-WIOSCA-LLVAOS.html">
         <b>
         A Virtual Instruction Set
@@ -123,8 +140,8 @@
         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>
         </li>
+        </ul>
 		</div>
 
     <!--#include virtual="sidebar.incl" -->