|
From: <sv...@va...> - 2007-09-18 22:46:49
|
Author: njn
Date: 2007-09-18 23:46:45 +0100 (Tue, 18 Sep 2007)
New Revision: 336
Log:
Add Flayer paper.
Elaborate some references.
Added:
trunk/docs/drewry2007.pdf
Modified:
trunk/docs/pubs.html
Added: trunk/docs/drewry2007.pdf
===================================================================
(Binary files differ)
Property changes on: trunk/docs/drewry2007.pdf
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
Modified: trunk/docs/pubs.html
===================================================================
--- trunk/docs/pubs.html 2007-08-28 22:44:20 UTC (rev 335)
+++ trunk/docs/pubs.html 2007-09-18 22:46:45 UTC (rev 336)
@@ -14,7 +14,9 @@
Origin of Null and Undefined Value Errors</a>.<br>
Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer and
Kathryn S. McKinley.<br>
- Proceedings of OOPSLA 2007, Montreal, Canada, October 2007.</b><br>
+ Proceedings of the ACM SIGPLAN International Conference on Object-Oriented
+ Programming, Systems, Languages and Applications (OOPSLA 2007),
+ Montreal, Canada, October 2007.</b><br>
This paper describes an attempt to improve the error messages produced for
undefined value errors detected by Memcheck by tracking their origins.
Ultimately it wasn't that useful in practice. The paper also describes a
@@ -27,7 +29,9 @@
<b><a href="/docs/valgrind2007.pdf">Valgrind: A Framework for Heavyweight
Dynamic Binary Instrumentation</a>.<br>
Nicholas Nethercote and Julian Seward.<br>
- Proceedings of PLDI 2007, San Diego, California, USA, June 2007.</b><br>
+ Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design
+ and Implementation (PLDI 2007),
+ San Diego, California, USA, June 2007.</b><br>
This paper describes how Valgrind works, and how it differs from other
DBI frameworks such as Pin and DynamoRIO.
Please cite this paper when discussing Valgrind in general. However, if
@@ -40,7 +44,9 @@
<b><a href="/docs/shadow-memory2007.pdf">How to Shadow Every Byte of Memory
Used by a Program</a>.<br>
Nicholas Nethercote and Julian Seward.<br>
- Proceedings of VEE 2007, San Diego, California, USA, June 2007.</b><br>
+ Proceedings of the Third International ACM SIGPLAN/SIGOPS Conference on
+ Virtual Execution Environments (VEE 2007), San Diego, California, USA,
+ June 2007.</b><br>
This paper describes in detail how Memcheck's shadow memory is
implemented, and compares it to other alternative approaches.
Please cite this paper if you are discussing shadow memory
@@ -139,6 +145,16 @@
<ul>
<li><p>
+ <b><a href="/docs/drewry2007.pdf">Flayer: Exposing Application
+ Internals</a>.<br>
+ Will Drewry and Tavis Ormandy.<br>
+ Proceedings of the First USENIX Workshop on Offensive Technologies (WOOT
+ '07), Boston, Massachussetts, USA, August 2007.</b><br>
+ This paper is about a tool that analyses and modifies program execution
+ flow.
+ </p></li>
+
+ <li><p>
<b><a href="/docs/muehlenfeld2006.pdf">Fault Detection in Multi-Threaded C++
Server Applications</a>.<br>
Arndt Muehlenfeld and Franz Wotawa.<br>
|