various updates

[pintos-anon] / sigcse2009 / rest.tex

diff --git a/sigcse2009/rest.tex b/sigcse2009/rest.tex
index 7f22a85f721abb2ae1c3b559cc04b2904059beb4..fde4f506d07822f657037822dc3e5c79c17dbbf3 100644 (file)
--- a/sigcse2009/rest.tex
+++ b/sigcse2009/rest.tex
@@ -1,13 +1,12 @@
 \section{Future Work}
 
 In the future, we will expand Pintos's analysis capabilities to
-provide quantitative information  and include realistic
-device models.
+provide quantitative information and include realistic device models.
 We are also considering extending Pintos to multiple
-CPUs, and developing assignments that involve
+CPUs and assignments that involve
 networking and interprocess communication (IPC).
-Although feedback from our industrial affiliates, who compare
-students having used Pintos to students having taken courses 
-that use less concrete or external approaches, is highly favorable,
-we need to perform a formal evaluation comparing learning 
+Although we have received highly favorable feedback from our 
+industrial affiliates, who compare students having used Pintos 
+to students having taken courses that use less concrete or external approaches,
+we need to perform a formal evaluation to compare learning
 outcomes using Pintos to other alternatives.