conclusion.tex: Acknowledgements: selected 410 staff
citations.bib:
* 213 = sigcse01:CSaPP
* Simics = Magnusson:2002:SFS:619072.621909
* x86-TSO = SewellSOZNM:x86tso-cacm10
410.tex: only 75% done with first pass, but something that can be reacted to
.gitignore: paper.pdf (deliberately not *.pdf)
React to Dave's work