[llvm-commits] CVS: llvm-www/Users.html

[John Criswell]

Changes in directory llvm-www:

Users.html updated: 1.67 -> 1.68
---
Log message:

Added SoftBound.
Added projects by George Candea's group.


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

 Users.html |   43 ++++++++++++++++++++++++++++++++++++++++++-
 1 files changed, 42 insertions(+), 1 deletion(-)


Index: llvm-www/Users.html
diff -u llvm-www/Users.html:1.67 llvm-www/Users.html:1.68
--- llvm-www/Users.html:1.67	Thu Oct  8 16:52:24 2009
+++ llvm-www/Users.html	Thu Oct 29 17:32:53 2009
@@ -322,6 +322,38 @@
     <td>Principled Compilation</td>
   </tr>
 
+  <!-- Email from George Candea to Vikram and John -->
+  <tr>
+    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
+    <td>George Candea</td>
+    <td><a href="http://dslab.epfl.ch/proj/cloud9">Cloud9: Software Testing
+        as a Service & Parallel Symbolic Execution</a></td>
+  </tr>
+
+  <!-- Email from George Candea to Vikram and John -->
+  <tr>
+    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
+    <td>George Candea</td>
+     <td><a href="http://dslab.epfl.ch/proj/s2e">S2E: Scalable Testing with Selective Symbolic Execution</a></td>
+  </tr>
+
+  <!-- Email from George Candea to Vikram and John -->
+  <tr>
+    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
+    <td>George Candea</td>
+    <td> <a href="http://dslab.epfl.ch/proj/esd">ESD: Automated Debugging via  
+Execution Synthesis</a></td>
+  </tr>
+
+  <!-- Email from George Candea to Vikram and John -->
+  <tr>
+    <td><a href="http://www.epfl.ch">Ecole Polytechnique Fédérale de Lausanne</a></td>
+    <td>George Candea</td>
+    <td><a href="http://dslab.epfl.ch/proj/dimmunix">Dimmunix: Collaborative  
+Runtime Immunity Against Deadlocks</a></td>
+  </tr>
+
+
   <!-- http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-October/017539.html -->
   <tr>
     <td><a href="http://www.ethz.ch/">ETH Zurich</a></td>
@@ -442,6 +474,15 @@
     <td>MicroBlaze backend for use on Xilinx FPGAs</td>
   </tr>
 
+  <!-- SoftBound Publication on Publication Page -->
+  <tr>
+    <td>
+    <a href="http://www.upenn.edu/">The University of Pennsylvania</a>
+    </td>
+    <td>Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin, and
+        Steve Zdancewic</td>
+    <td><a href="http://www.cis.upenn.edu/acg/softbound">SoftBound</a></td>
+  </tr>
 </table>
 </div>
 
@@ -513,6 +554,6 @@
   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!"></a>
 
 <br><a href="mailto:llvmdev at cs.uiuc.edu">LLVM Development List</a><br>
-  Last modified: $Date: 2009/10/08 21:52:24 $
+  Last modified: $Date: 2009/10/29 22:32:53 $
 </address>
 <!--#include virtual="footer.incl" -->