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

diff --git a/sigcse2009/rest.tex b/sigcse2009/rest.tex
index fc73c43..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.
-We also considering the extension of Pintos to multiple
-CPUs, and the development of assignments that involve
+provide quantitative information and include realistic device models.
+We are also considering extending Pintos to multiple
+CPUs and assignments that involve
 networking and interprocess communication (IPC).
-Although feedback from our industrial affiliates, who compare
-students having Pintos to students having taken course 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.