Paper Requirement for Dale Vaillancourt

1. Paper: Relating Models of Backtracking. Proc. ACM SIGPLAN International Conference on Functional Programming, pages 54-65, 2004.

2. Description: Past attempts to relate two well-known models of backtracking computatation have met with only limited success. This paper relates these two models using logical relations. It also provides an operational semantics, and proves it adequate for both models.
3. Acceptance rate: 21/80 (26.2%)

4. Student's contribution to paper: The basic idea was mine, but Dale worked out many of the details, removed bugs in the mathematics, and dealt with all the mechanics of TeXing and submitting the paper.

5. URL for paper: ftp://ftp.ccs.neu.edu/pub/people/wand/papers/icfp-04.pdf.

6. Why should this paper be accepted as qualifying the paper requirement: Dale has demonstrated that he is capable of participating in scientific research and the writing of a scientific paper.