X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=sigcse2009%2Frest.tex;h=fde4f506d07822f657037822dc3e5c79c17dbbf3;hb=2e7e4557b7f84a1377d38c1b4db544251bcec317;hp=7f22a85f721abb2ae1c3b559cc04b2904059beb4;hpb=02d9affcb344f1ebc4253c59230fea7119469a89;p=pintos-anon

diff --git a/sigcse2009/rest.tex b/sigcse2009/rest.tex
index 7f22a85..fde4f50 100644
--- 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.