|
From: <sv...@va...> - 2005-12-26 18:24:45
|
Author: njn
Date: 2005-12-26 18:24:41 +0000 (Mon, 26 Dec 2005)
New Revision: 262
Log:
Added descriptions and citation guidelines to the publications.
Modified:
trunk/docs/pubs.html
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 2005-12-22 18:21:55 UTC (rev 261)
+++ trunk/docs/pubs.html 2005-12-26 18:24:41 UTC (rev 262)
@@ -1,7 +1,8 @@
<h1>Valgrind Publications</h1>
=20
<p>Here are some academic publications that have been written by Valgrin=
d
-developers.</p>
+developers. 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>
=20
@@ -10,13 +11,23 @@
errors with bit-precision.</a><br>
Julian Seward and Nicholas Nethercote.<br>
Proceedings of the USENIX'05 Annual Technical Conference, Anaheim,
- California, USA, April 2005.
+ California, USA, April 2005.<br>
+ This paper describes in detail how Memcheck's undefined value error
+ detection (a.k.a. V bits) works. Feel free to cite it if you are tal=
king
+ particularly about Memcheck's undefined value error detection.
</p></li>
=20
<li><p>
<a href=3D"/docs/phd2004.pdf">Dynamic Binary Analysis and Instrumentati=
on.</a><br>
Nicholas Nethercote.<br>
- PhD Dissertation, University of Cambridge, November 2004.
+ PhD Dissertation, University of Cambridge, November 2004.<br>
+ This dissertation describes Valgrind in some detail (some of these det=
ails
+ are now out-of-date) as well as Cachegrind, Annelid and Redux; it als=
o
+ covers some underlying theory about dynamic binary analysis in general=
and
+ what all these tools have in common. Feel free to cite it if you are
+ talking about Valgrind in general (although the ENTCS Valgrind paper
+ should probably be cited in preference, even though it is older),
+ Cachegrind, or the dynamic binary analysis theory work.
</p></li>
=20
<li><p>
@@ -25,19 +36,24 @@
Nicholas Nethercote and Jeremy Fitzhardinge.<br>
Informal Proceedings of the Second Workshop on Semantics, Program
Analysis, and Computing Environments for Memory Management (SPACE 20=
04),
- Venice, Italy, January 2004.
+ Venice, Italy, January 2004.<br>
+ This paper describes Annelid, an experimental bounds checker.
</p></li>
=20
<li><p>
<a href=3D"/docs/valgrind2003.ps.bz2">Valgrind: A Program Supervision F=
ramework.</a> (<a href=3D"/gallery/valgrind2003-talk.ps.bz2">slides</a>)<=
br>
Nicholas Nethercote and Julian Seward.<br>
Electronic Notes in Theoretical Computer Science 89 No. 2, 2003.
+ This paper describes Valgrind in general, but is somewhat out-of-date.
+ Feel free to cite it when talking about Valgrind in general.
</p></li>
=20
<li><p>
<a href=3D"/docs/redux2003.ps.bz2">Redux: A Dynamic Dataflow Tracer.</a=
><br>
Nicholas Nethercote and Alan Mycroft.<br>
Electronic Notes in Theoretical Computer Science 89 No. 2, 2003.
+ This paper describes Redux, and experimental dynamic dataflow tracing
+ tool.
</p></li>
=20
</ul>
|