Missing pdf and/or source:
- Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, and Mark Tuttle. Collaborate with strangers to find own preferences. In Proceedings of the 17th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), pages 263-269, July 2005. (ps, pdf
- Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, and Mark Tuttle. Collaborate with strangers to find own preferences. Theory of Computing Systems, 42(1):27-41, January 2008, doi 10.1007/s00224-007-9016-7.
- Ariel Cohen, John W. O’Leary, Amir Pnueli, Mark R. Tuttle, and Lenore D. Zuck. Verifying Correctness of Transactional Memories. In Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pages 37-44, November 2007.
- Zvi Lotker, Boaz Patt-Shamir, and Mark R. Tuttle. A Game of Timing of Visibility. Games and Economic Behavior, to appear, 2007.
- Zvi Lotker, Boaz Patt-Shamir, and Mark R. Tuttle. Publish and perish: Definition and analysis of an n-person publication impact game. In Proceedings of the 18th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), pages 11-18, August 2006.
September 30, 2011 notes: Through about 2008-2011
pdf and/or source tarball missing for three journal papers (one with Alon and two with Rajsbaum) and for two conferences (with Talupur for FMCAD09 and DCC08). In addition to anything above that might be missing.
Still need to compare web/cv with Intel progress reports (eg program committees, awards) and then compare web with cv carefully.
Also need to fix the citations for the two GETCO/ENTCS conference/journal papers.
Also need to fix pages for FMCAD08 paper (dldb says pages 1-8?)
Can probably throw away the ps files for at least papers published in last 10 years (maybe not theses).