Former Ph.D. student at BRICS.

Areas of interest: semantic and implementation aspects of programming languages; partial evaluation and program analysis.

New: Practical Aspects of Declarative Languages (PADL 06).

Ph.D. Dissertation:

On Static and Dynamic Control-Flow Information in Program Analysis and Transformation. Ph.D. Dissertation. August 2001. [PDF version]

Papers:

• CPS Transformation of Flow Information, Part II: Administrative Reductions. Co-authored with Olivier Danvy. To appear in the Journal of Functional Programming; also available as BRICS Technical Report RS-02-36. August 2002.
• Static Transition Compression. Co-authored with Olivier Danvy. In Proceedings of the 2001 Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG'01), Firenze, Italy, September 2001.
• Time Stamps for Fixed-Point Approximation. In Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XVII), Aarhus, Denmark, May 2001.
• A Simple CPS Transformation of Control-Flow Information. Co-authored with Olivier Danvy. Available as BRICS Technical Report RS-01-55. December 2001.
• Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. Co-authored with Olivier Danvy. In Proceedings of the 2000 ACM SIGPLAN International Conference on Functional Programming (ICFP), Montréal, Canada, September 2000. ©Copyright 2000 by ACM, Inc.
  Extended version to appear in Journal of Functional Programming; also available as BRICS Technical Report RS-01-54.
• On Shivers's Aggressive Cutoff Method: A Study of the 0-CFA. In Proceedings of the 11th Nordic Workshop on Programming Theory, NWPT'99, Uppsala, Sweden. One page abstract.
• Partial Evaluation for Program Analysis. Second year Ph.D. Progress Report. June 1999.