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

[Chris Lattner]

On Oct 30, 2009, at 8:33 AM, John Criswell wrote:
> 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.

Thanks John.

Another question: what is the line between listing a project on pubs  
and listing it in Users.html?  Redundantly listing everything on the  
pubs page in Users doesn't seem useful, and several of these things  
are basically just a fancy web page for a paper, not a "research  
effort".

-Chris

>
>
> ---
> 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" -->
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits