Paper Requirement for David Herman

1. Paper: David Herman and Philippe Meunier, "Improving the Static Analysis of Embedded Languages via Partial Evaluation", ICFP 2004, 16-27.

2. Description: This paper demonstrates a technique for improving the results of static analysis tools when analyzing programs written in embedded programming languages. Such programs are traditionally hard to analyze because the analysis tools are built to understand the properties of the host language, without knowledge of subsequent extensions to the language. The paper shows how to improve the results of the analysis with simple program transformations implemented as macros and without having to modify the analysis tools.

3. Acceptance rate: 21/80 (26.2%)
   20%.

4. Student's contribution to paper: David developed and implemented the technique by himself and wrote the majority of the paper. Philippe provided support for the static analysis and wrote the sections of the paper that described the analysis tool.

5. URL for paper: http://www.ccs.neu.edu/home/wand/private/paper-requirements/dave-icfp04.pdf

6. Why should this paper be accepted as qualifying the paper requirement: This was entirely a student effort, with some small contributions by Matthias. It clearly demonstrates Dave's ability to undertake research and write a scientific paper.