Made a few changes to paper.
Merge branch 'master' of https://github.com/dgaddy/6.819-project