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

Fri Jun 6 13:08:01 PDT 2003

Changes in directory llvm/www/safecode:

index.html added (r1.1)

---
Log message:

Added safecode project to the llvm webpage

---
Diffs of the changes:

Index: llvm/www/safecode/index.html
diff -c /dev/null llvm/www/safecode/index.html:1.1
*** /dev/null	Fri Jun  6 13:07:51 2003
--- llvm/www/safecode/index.html	Fri Jun  6 13:07:40 2003
***************
*** 0 ****
--- 1,25 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html><head><title>SAFE Code</title></head>
+ <body bgcolor=white>
+ <center><font size=+3 face=Verdana><b>SAFE Code</b></font></center>
+ <hr size=0>
+ 
+ Static Analysis for safe Execution of Code 
+ 
+ Publications :
+ 
+ <ul>
+   <li> Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner :
+ <a href="http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html" >
+       Memory Safety without Runtime Checks or Garbage Collection for
+        Embedded Systems </a>, LCTES 2003.
+   <li> Sumant Kowshik, Dinakar Dhurjati, Vikram Adve : <a href="http://llvm.cs.uiuc.edu/pubs/2002-08-08-CASES02-ControlC.html" >Ensuring Code
+        Safety without Runtime Checks for Real Time Control Systems </a>, CASES
+        2002.
+ 
+ </ul>      
+ 
+ <hr>
+ <address><a href="mailto:sabre at nondot.org">Chris Lattner</a></address>
+ </body>
+ </html>