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

[Chris Lattner]

Changes in directory llvm-www/pubs:

index.html updated: 1.77 -> 1.78
---
Log message:

add two papers to the index.


---
Diffs of the changes:  (+10 -0)

 index.html |   10 ++++++++++
 1 files changed, 10 insertions(+)


Index: llvm-www/pubs/index.html
diff -u llvm-www/pubs/index.html:1.77 llvm-www/pubs/index.html:1.78
--- llvm-www/pubs/index.html:1.77	Fri Jun 27 15:57:27 2008
+++ llvm-www/pubs/index.html	Sun Jul 20 16:12:32 2008
@@ -9,6 +9,12 @@
 <i>Proc. International Conference on Principles and Practice of Programming 
 In Java (PPPJ 2008)</i>, September 2008</li>
 
+<li>"<a href="2008-08-SPIN-Pancam.html">Verifying Multi-threaded C Programs 
+with SPIN</a>"<br>
+Anna Zaks and Amir Pnueli<br>
+<i>Proc. International SPIN Workshop on Model Checking of Software (SPIN 
+2008)</i>, August 2008</li>
+
 <li>"<a href="2008-06-13-SPAA-STMDataPartitioning.html">Automatic Data Partitioning in Software 
 Transactional Memories</a>"<br>
 Torvald Riegel, Christof Fetzer, and Pascal Felber<br>
@@ -18,6 +24,10 @@
 Fernando Magno Quintao Pereira and Jens Palsberg<br>
 <i>Proc. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08)</i>, June, 2008</li>
 
+<li>"<a href="2008-05-CoVaC.html">CoVaC: Compiler Validation by Program Analysis 
+of the Cross-Product</a>"<br>
+Anna Zaks and Amir Pnueli<br>
+<i>Proc. International Symposium on Formal Methods (FM 2008)</i>, May 2008</li>
 
 <li>"<a  href="2008-05-17-BSDCan-LLVMIntro.html">LLVM and Clang: Next Generation Compiler Technology</a>"<br>
 Chris Lattner<br>