Read the following papers, making sure you understand them.

For each paper create a one page write-up that answers two major questions:

"What lessons have been learned from the material described in the paper ? Why are these lessons important ?"

Be clear and explicit in your answers, i.e. your write-up must clearly enumerate the lessons and importance. For instance, your write-ups might contain the explanation in the following format:

"The important lessons presented in this paper are :

a) "1st lesson is that ..." ; "This lesson is important because ..."

List of papers:

1. Butler W. Lampson "Hints for computer system design," ACM Operating Systems Rev. 15, 5 (Oct. 1983), pp 33-48. Reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28.[pdf]

2. R. A. DeMillo, R. J. Lipton and A. J. Perlis, "Social Processes and Proofs of Theorems and Programs," Communications of the ACM, 22 (5), May 1979, pp. 271-280. [pdf]