Conference papers, etc. (refereed)

  • Generating a Pattern Matching Compiler by Partial Evaluation (D-59). Abstract. Presented at Glasgow Workshop on Functional Programming 1990 (Ullapool).
  • Generating a Compiler for a Lazy Language by Partial Evaluation (D-98). Abstract. Presented at POPL'92. An abstract of parts of my master's thesis.
  • Formally Optimal Boxing (D-179). Abstract. Presented at POPL'94. Written together with Fritz Henglein.
  • Generating Optimizing Specializers (D-186). Abstract. Presented at ICCL'94. Written together with Robert Glück.
  • Generating Transformers for Deforestation and Supercompilation (D-195). Abstract. Presented at SAS'94. Written together with Robert Glück.
  • Efficient Multi-level Generating Extensions for program Specialization. Abstract. Presented at PLILP'95. Written together with Robert Glück.
  • Efficiently Generating Efficient Generating Extensions in Prolog. Abstract.(Available as a technical report.) Dagstuhl Seminar: "Partial Evaluation". Written together with Michael Leuschel.
  • Fast Multi-Level Binding-Time Analysis for Multiple Program Specialization. Abstract.(Available as a technical report.) Presented at PSI'96, Andrei Ershov Second International Conference "Perspectives of System Informatics", June 1996, Novosibirsk, Russia. Written together with Robert Glück.
  • Controlling Conjunctive Partial Deduction of Definite Logic Programs. Abstract.(Available as a technical report.) Presented at PLILP'96. Written together with Robert Glück, Bern Martens and Morten H. Sørensen
  • Conjunctive Partial Deduction in Practice (extended abstract). Abstract. In J. Gallagher, editor, Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), pages 59-82, Stockholm, Sweden, August 1996. LNCS 1207, Springer Verlag. Written together with Michael Leuschel and Bern Martens
  • Generalization in Hierarchies of Online Program Specialization Systems, In P. Flener, editor, Proceedings of LOPSTR'98, Manchester, UK, June 1998. LNCS 1559, Springer-Verlag (to appear), written together with Robert Glück and John Hatcliff
    •

    J. Jørgensen - KVL (jesper@dina.kvl.dk) [Last changed: 23/4 1998]