Make.config: Use a different method to detect --build-id support.

[pintos-anon] / sigcse2009 / rest.tex

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