rearranged figures, various fixes for style, grammar, and clarity

[pintos-anon] / sigcse2009 / racedt.tex

diff --git a/sigcse2009/racedt.tex b/sigcse2009/racedt.tex
index 2c9064d6ab5119b0abfe979f5b625387c162163e..5200655b6cf4d2cacd48d91a3162e6fc6de2038d 100644 (file)
--- a/sigcse2009/racedt.tex
+++ b/sigcse2009/racedt.tex
@@ -16,7 +16,7 @@ call stacks for the racing threads is generated.
 
 Invalid memory accesses, such as a read from newly allocated but uninitialized data, are detected by
 tracking all memory accesses.  Heap allocation calls are instrumented to map a range of addresses as
-uninitialized. When data is written to a memory address, it is marked as initialized. If a address
+uninitialized. When data is written to a memory address, it is marked as initialized. If an address
 marked as uninitialized is read from, the error is reported and the address is marked as
 uninitialized to mask spurious reports. 
 % More sophisticated analysis may be implemented in the future.