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

[John Criswell]

Changes in directory llvm-www:

Users.html updated: 1.69 -> 1.70
---
Log message:

Modified George Candea's entry to reflect the fact that he's leading a
research group.
Added Calvin Lin's pointer analysis work and Klee to the list of academic
research users.


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

 Users.html |   21 ++++++++++++++++++---
 1 files changed, 18 insertions(+), 3 deletions(-)


Index: llvm-www/Users.html
diff -u llvm-www/Users.html:1.69 llvm-www/Users.html:1.70
--- llvm-www/Users.html:1.69	Fri Oct 30 09:55:21 2009
+++ llvm-www/Users.html	Fri Oct 30 10:32:45 2009
@@ -325,7 +325,7 @@
   <!-- 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>George Candea's Research Group</td>
     <td>
       <ul>
       <li><a href="http://dslab.epfl.ch/proj/cloud9">Cloud9: Software Testing
@@ -372,6 +372,12 @@
   </tr>
 
   <tr>
+    <td><a href="http://www.stanford.edu">Stanford University</a></td>
+    <td>Dawson Engler's Research Group</td>
+    <td><a href="http://klee.llvm.org">KLEE Symbolic Virtual Machine</a></td>
+  </tr>
+
+  <tr>
     <td><a href="http://www.tut.fi">Tampere University of Technology</a></td>
     <td><a href="http://www.tkt.cs.tut.fi/index-english.html">Jarmo Takala's research group, Department of Computer Systems</a></td>
     <td><a href="http://tce.cs.tut.fi">The TTA Based Codesign Environment (TCE) project</a></td>
@@ -436,7 +442,7 @@
     <td>
     <a href="http://www.uiuc.edu">University of Illinois at Urbana-Champaign</a>
     </td>
-    <td>David Padua's Research Group</td>
+    <td>Maria Garzaran's Research Group</td>
     <td>Automatic replication for software reliability</td>
   </tr>
 
@@ -466,6 +472,15 @@
         Steve Zdancewic</td>
     <td><a href="http://www.cis.upenn.edu/acg/softbound">SoftBound</a></td>
   </tr>
+
+  <!-- Publications on Publication Page -->
+  <tr>
+    <td>
+    <a href="http://www.utexas.edu/">University of Texas at Austin</a>
+    </td>
+    <td>Calvin Lin's Research Group</td>
+    <td><a href="http://www.cs.utexas.edu/~lin/research.html#Pointers">Turnkey Pointer Analysis</a></td>
+  </tr>
 </table>
 </div>
 
@@ -537,6 +552,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/30 14:55:21 $
+  Last modified: $Date: 2009/10/30 15:32:45 $
 </address>
 <!--#include virtual="footer.incl" -->