|
From: <sv...@va...> - 2005-03-14 23:59:29
|
Author: njn Date: 2005-03-14 23:59:26 +0000 (Mon, 14 Mar 2005) New Revision: 83 Added: trunk/docs/bounds-checking2004.ps.bz2 trunk/docs/memcheck2005.pdf trunk/docs/phd2004.pdf trunk/docs/pubs.html trunk/docs/redux2003.ps.bz2 trunk/docs/valgrind2003.ps.bz2 Removed: trunk/gallery/elsevier-2003.ps.bz2 Log: Added a page about Valgrind publications. Added: trunk/docs/bounds-checking2004.ps.bz2 =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/bounds-checking2004.ps.bz2 ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/docs/memcheck2005.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/memcheck2005.pdf ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: trunk/docs/phd2004.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/phd2004.pdf ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Added: 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-03-14 23:00:20 UTC (rev 82) +++ trunk/docs/pubs.html 2005-03-14 23:59:26 UTC (rev 83) @@ -0,0 +1,47 @@ +<h1>Valgrind Publications</h1> + +<p>Here are some academic publications that have been written by Valgrin= d +developers.</p> + +<ul> + + <li><p> + <a href=3D"/docs/memcheck2005.pdf">Using Valgrind to detect undefined v= alue + errors with bit-precision.</a><br> + Julian Seward and Nicholas Nethercote.<br> + Proceedings of the USENIX'05 Annual Technical Conference, Annaheim, + California, USA, April 2005. + </p></li> + + <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. + </p></li> + + <li><p> + <a href=3D"/docs/bounds-checking2004.ps.gz">Bounds-Checking Entire Prog= rams Without + Recompiling.</a><br> + 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. + </p></li> + + <li><p> + <a href=3D"/docs/valgrind2003.ps.gz">Valgrind: A Program Supervision Fr= amework.</a><br> + Nicholas Nethercote and Julian Seward.<br> + Electronic Notes in Theoretical Computer Science 89 No. 2, 2003. + </p></li> + + <li><p> + <a href=3D"/docs/redux2003.ps.gz">Redux: A Dynamic Dataflow Tracer.</a>= <br> + Nicholas Nethercote and Alan Mycroft.<br> + Electronic Notes in Theoretical Computer Science 89 No. 2, 2003. + </p></li> + +</ul> + + +<p> </p> +<p> </p> Added: trunk/docs/redux2003.ps.bz2 =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/redux2003.ps.bz2 ___________________________________________________________________ Name: svn:mime-type + application/octet-stream Copied: trunk/docs/valgrind2003.ps.bz2 (from rev 73, trunk/gallery/elsevi= er-2003.ps.bz2) Deleted: trunk/gallery/elsevier-2003.ps.bz2 =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) |