under 5 pages!

[pintos-anon] / sigcse2009 / principles.tex

diff --git a/sigcse2009/principles.tex b/sigcse2009/principles.tex
index 681234893245bc075e3d64764eb3873244fbb00f..221fb438fe8cea31663712e3639c4774ec14d7dc 100644 (file)
--- a/sigcse2009/principles.tex
+++ b/sigcse2009/principles.tex
@@ -23,9 +23,9 @@ portions that initially proved difficult to understand or confusing.
 
 \paragraph{Maximize Creative Freedom}
 OS design involves a tremendous amount of creative freedom, both in the
-choice of algorithm and data structures.  Our projects are designed to
+choice of algorithms and data structures.  Our projects are designed to
 stimulate creativity by avoiding the prescription of specific approaches
-to accomplish each project's goals.  Instead, students must design their
+to accomplish each project's goals.  Instead, students design their
 own data structures and associated algorithms as much as possible.
 
 \paragraph{Practice Test-driven Development}
@@ -57,16 +57,17 @@ is substantially similar to how user programs are being debugged.
 
 \paragraph{Include Analysis Tools}
 Static and dynamic analysis tools are now being widely used; an OS course should
-be no exception.  We have extended the QEMU emulator~\cite{Bellard2005QEMU} to 
-perform tailored analyses that point out errors such as race conditions.
+be no exception.  In Section~\ref{sec:dynamicanalysis}, we describe how we 
+extended the QEMU emulator~\cite{Bellard2005QEMU} to 
+perform tailored analyses that find errors such as race conditions.
 
 \paragraph{Provide Extensive and Structured Documentation}
 If using an instructional system requires too much undocumented knowledge,
-the system is often not shared, or falls into disuse, because the learning curve
-for instructors wishing to use it is too steep and training teaching assistants is difficult.
+the system is often not shared or falls into disuse because the learning curve
+for instructors is too steep and training teaching assistants is difficult.
 Pintos includes an extensive 129 page manual, a sample solution,
-and instructions for teaching assistants.  The assignment documentation separates sections 
-students must read from sections that merely provide supplemental information.
+and grading instructions for teaching assistants.  The project documentation 
+highlights sections students must read from sections that merely provide supplemental information.
 %Even though Pintos uses an existing and complex architecture, our experience indicates
 %that the manual is sufficient for most students.