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

[Dinakar Dhurjati]

Changes in directory llvm/www/safecode:

index.html updated: 1.4 -> 1.5

---
Log message:

Added funding/project members/Links etc.


---
Diffs of the changes:

Index: llvm/www/safecode/index.html
diff -u llvm/www/safecode/index.html:1.4 llvm/www/safecode/index.html:1.5
--- llvm/www/safecode/index.html:1.4	Fri Jun  6 15:00:04 2003
+++ llvm/www/safecode/index.html	Fri Jun  6 16:37:05 2003
@@ -8,22 +8,53 @@
 
 To enable program safety without runtime checks and garbage collection, through 100% or near-100% static enforcement of program safety properties.  SAFECode defines a code representation with minimal semantic restrictions designed to enable static enforcement of safety, using aggressive compiler techniques developed in this project.<br><br><br>
 
+<H3> Project Members : </H3>
 
+<H4>Faculty : </H4>
+<ul>
+<li><a href="http://www.cs.uiuc.edu/~vadve" > Vikram Adve </a> <br>
+</ul>
+<H4>Graduate Students : </H4> 
+<ul>
+<li><a href="http://llvm.cs.uiuc.edu/~dhurjati" > Dinakar Dhurjati </a> <br>
+<li><a href="mailto:kowshik at cs.uiuc.edu" > Sumant Kowshik </a> <br>
+<li><a href="http://www.nondot.org/~sabre" > Chris Lattner </a> <br><br>
+</ul>
+
+<br>
 
-<h3> Publications : </H3> <bf>
+<H3> Publications : </H3> 
 
 <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
+  <li> <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>, Dinakar Dhurjati, Sumant Kowshik, Vikram
+      Adve and Chris Lattner. LCTES 2003.
+  <li> 
+      <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>, Sumant Kowshik, Dinakar Dhurjati, Vikram Adve : CASES
        2002.
 
 </ul>      
 
-<hr>
+<H3> Download : </H3>
+
+Not in public domain for now. Check this page later.
+
+<H3> Funding : </H3> <bf>
+This project is sponsored
+by the NSF Embedded Systems program under award CCR-02-09202
+and in part by an NSF CAREER award, EIA-0093426 and ONR, 
+N0004-02-0102.
+
+<H3> Links : </H3>
+<ul>
+<li>      <a href="http://llvm.cs.uiuc.edu" > LLVM <br>
+</ul>  
+
+
+  <hr>
 <address><a href="mailto:dhurjati at cs.uiuc.edu">Dinakar Dhurjati</a></address>
 </body>
 </html>