X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Freferences.texi;h=cb4642260ac3dfa11edb422431ad0f2fef02d4c5;hb=a03e6f1ca6bb324d2f5bba70982e493e40faf4f5;hp=78c6b8c7533e4037f54989287cdf8c878fb84161;hpb=37deefa57e17a299779936ae6d2b74df2e517368;p=pintos-anon

diff --git a/doc/references.texi b/doc/references.texi
index 78c6b8c..cb46422 100644
--- a/doc/references.texi
+++ b/doc/references.texi
@@ -107,3 +107,10 @@ Interface---DRAFT---24 April 2001}.  A draft of a revised version of
 M.@: K.@: McKusick, K.@: Bostic, M.@: J.@: Karels, J.@: S.@: Quarterman,
 @cite{The Design and Implementation of the 4.4@acronym{BSD} Operating
 System}.  Addison-Wesley 1996.
+
+@bibdfn{Eraser}
+S.@: Savage, M.@: Burrows, G.@: Nelson, P.@: Sobalvarro, T.@: Anderson,
+``Eraser: a dynamic data race detector for multi-threaded programs,''
+ACM Transactions on Computer Systems 15 (1997):4, pages 391--411.
+Also in Proceeding of the 16th ACM Symposium on Operating Systems
+Principles (1997), pages 27--37.