|
From: <sv...@va...> - 2006-08-12 04:33:42
|
Author: njn
Date: 2006-08-12 05:33:35 +0100 (Sat, 12 Aug 2006)
New Revision: 293
Log:
Added two papers by others about Valgrind.
Added:
trunk/docs/muehlenfeld2006.pdf
trunk/docs/newsome2005.pdf
Modified:
trunk/docs/pubs.html
Added: trunk/docs/muehlenfeld2006.pdf
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
(Binary files differ)
Property changes on: trunk/docs/muehlenfeld2006.pdf
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
Added: trunk/docs/newsome2005.pdf
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
(Binary files differ)
Property changes on: trunk/docs/newsome2005.pdf
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
Modified: trunk/docs/pubs.html
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- trunk/docs/pubs.html 2006-08-03 12:22:07 UTC (rev 292)
+++ trunk/docs/pubs.html 2006-08-12 04:33:35 UTC (rev 293)
@@ -1,11 +1,14 @@
<h1>Valgrind Publications</h1>
=20
-<p>Here are some academic publications that have been written by Valgrin=
d
-developers. If you refer to Valgrind in a publication, please cite one =
or
+<p>Here are some academic publications that are about Valgrind or involv=
e
+Valgrind significantly.</p>
+
+<h2>Papers By Valgrind Developers</h2>
+
+<p>If you refer to Valgrind in a publication, please cite one or
more of the following papers, not just the Valgrind website.</p>
=20
<ul>
-
<li><p>
<b><a href=3D"/docs/memcheck2005.pdf">Using Valgrind to detect undefine=
d value
errors with bit-precision.</a><br>
@@ -37,7 +40,11 @@
Informal Proceedings of the Second Workshop on Semantics, Program
Analysis, and Computing Environments for Memory Management (SPACE 20=
04),
Venice, Italy, January 2004.</b><br>
- This paper describes Annelid, an experimental bounds checker.
+ This paper describes Annelid, an experimental bounds checker. Althoug=
h
+ the paper is upbeat about Annelid, it really didn't work that well.
+ Good bounds-checking relies too much on source-level information (such=
as
+ what values are pointers, and what things those pointers point to) tha=
t is
+ difficult to obtain when working at the binary level.
</p></li>
=20
<li><p>
@@ -53,11 +60,41 @@
Nicholas Nethercote and Alan Mycroft.<br>
Electronic Notes in Theoretical Computer Science 89 No. 2, 2003.</b><b=
r>
This paper describes Redux, and experimental dynamic dataflow tracing
- tool.
+ tool. Redux is fun and intriguing, although wildly unscaleable. The
+ paper suggests multiple uses for it, none of which are likely to be
+ practical. What it <emph>is</emph> genuinely good for is stimulating
+ ideas about the kinds of tools that Valgrind can be used to build; pe=
ople
+ see the graphs and say "oh, if you just changed X to Y, you could do Z=
"...
+ they usually end up describing something entirely different to Redux t=
hat
+ they wouldn't have thought of without seeing Redux's graphs. So reall=
y
+ it's best described as an ideas-for-Valgrind-tools stimulator!
</p></li>
=20
</ul>
=20
+<h2>Papers By Others</h2>
+<ul>
=20
+ <li><p>
+ <b><a href=3D"/docs/muehlenfeld2006.pdf">Fault Detection in Multi-Threa=
ded C++
+ Server Applications.</a><br>
+ Arndt Muehlenfeld and Franz Wotawa.<br>
+ Informal Proceedings of the International Workshop on Multithreading i=
n
+ Hardware and Software (TV06), Seattle, Washington, USA, August 2006.</=
b><br>
+ This paper is about some improvements to Helgrind, the data-race detec=
tor.
+ </p></li>
+
+ <li><p>
+ <b><a href=3D"/docs/newsome2005.pdf">Dynamic taint analysis for automat=
ic
+ detection, analysis, and signature generation of exploits on commodity
+ software.</a><br>
+ James Newsome and Dawn Song.<br>
+ Proceedings of the 12th Annual Network and Distributed System Security
+ Symposium (NDSS '05), February 2005.</b><br>
+ This paper is about a security tool built with Valgrind.
+ </p></li>
+
+</ul>
+
<p> </p>
<p> </p>
|