[llvm-commits] [www] r168859 - /www/trunk/devmtg/2012-11/index.html

[Chris Lattner]

Author: lattner
Date: Thu Nov 29 00:24:09 2012
New Revision: 168859

URL: http://llvm.org/viewvc/llvm-project?rev=168859&view=rev
Log:
linkify the vellum talk.

Modified:
    www/trunk/devmtg/2012-11/index.html

Modified: www/trunk/devmtg/2012-11/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2012-11/index.html?rev=168859&r1=168858&r2=168859&view=diff
==============================================================================
--- www/trunk/devmtg/2012-11/index.html (original)
+++ www/trunk/devmtg/2012-11/index.html Thu Nov 29 00:24:09 2012
@@ -51,7 +51,7 @@
   
   <tr><td><a href="TSan-MSan-LLVM-dev-2012.pdf">Slides</a></td><td><b><a href="#talk4">MemorySanitizer, ThreadSanitizer.
     Scalable run-time detection of uninitialized memory reads and data races with LLVM instrumentation.</a></b><br>Kostya Serebryany, <i>Google</i></td></tr>
-  <tr><td>Slides</td><td><b><a href="#talk5">Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations</a></b><br>Santosh Nagarakatte, <i>University of Pennsylvania/Rutgers University</i></td></tr>
+  <tr><td><a href="Santosh-Vellvm.pdf">Slides</a></td><td><b><a href="#talk5">Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations</a></b><br>Santosh Nagarakatte, <i>University of Pennsylvania/Rutgers University</i></td></tr>
   <tr><td>Slides</td><td><b>BOF: SelectionDAG & DAGCombiner - how can they be improved?</b><br>James Molloy, <i>ARM</i></td></tr>
   
   <tr><td><a href="Gregor-Modules.pdf">Slides</a></td><td><b><a href="#talk6">Modules</a></b><br>Doug Gregor, <i>Apple</i></td></tr>