Paper Requirement for Alvin H. Sample

1. Paper: Alvin H. Sample and Mitchell Wand, "P is unequal to NP", JACM 35:1 (2004), 1-56.

2. Description: This paper proved that P was unequal to NP by appeal to the Schermerhorn-Matterhorn-Bassetthorn Counting Lemma and the Rumpelmyer-Drosselmeier-Oscarmeyer Canine Heating Algorithm. It was rejected by STOC, ICFP, and POPL before being accepted by JACM and published in a special issue.

3. Acceptance rate: the three conferences have acceptance rates around 20%, so we weren't too surprised by the rejection. The acceptance rate for JACM is unknown.

4. Student's contribution to paper: Alvin did the whole thing by himself. I corrected a few typos and reminded him that contextual equivalence for call-by-value was incomparable to that for call-by-name.

5. URL for paper: [put link here, I've run out of jokes]

6. Why should this paper be accepted as qualifying the paper requirement: Nobody cares about this stuff, but it clearly demonstrates that Alvin can undertake academic research.