[Prev][Next][Index][Thread]

CFP: Workshop on Program Generation


BACKGROUND:  The topic of program generation has proven to be a
challenging context for serious studies into the semantics and 
types of programming languages, and one where there is unmistakable
real-world need for this kind of research.  This work-shop aims at
bringing together researchers interested in various aspects of 
program  generation in a setting that encourages the 
cross-fertilization of ideas.

----------------------------------------------------------------------

[Reminder:  Deadline in two weeks.]

                         LAST CALL FOR PAPERS 

               Semantics, Applications and Implementation 
                      of Program Generation (SAIG) 
                                                                              
              ICFP Workshop, Montreal, September 20th, 2000.  
                         (Deadline:  May 22, 2000)

                    http://www.md.chalmers.se/~taha/saig/

Numerous recent studies investigate different aspects of program
generation systems, including their semantics, their applications, and
their implementation.  Existing theories and systems address both
high-level (source) language and low-level (machine) language
generation.  A number of programming languages now supports program
generation and manipulation, with different goals, implementation
techniques, and targeted at different applications. The goal of this
workshop is to provide a meeting place for researchers and
practitioners interested in this research area, and in program
generation in general.

Scope: The workshop solicits submissions related to one or more of the
following topics:

  - Multi-level and multi-stage languages, staged computation,
  - Partial evaluation (of e.g. functional, logical, imperative
    programs),
  - Run-time specialization (in e.g. compilers, operating systems),
  - High-level program generation (applications, foundations,
    environments),
  - Symbolic computation, in-lining and macros, 

Submissions are especially welcome if they relate ideas and concepts
from several topics, bridge the gap between theory and practice, cover
new ground, or report exciting applications.  The program committee
will be happy to advise on the appropriateness of a particular
subject.

Distribution: Accepted papers will be published as a Chalmers
technical report, and will be made available online.  A special issue
of the Journal of Higher Order and Symbolic Computation (HOSC) is
planned afterwards.

Format: The one-day workshop will contain slots for participants to
present accepted papers. In addition, there will be time allocated for
open discussions during the workshop.  Invited speakers will be
announced in the near future.

Invited Speaker:

          Frank Pfenning, CMU 

Submission Details: Authors are invited to submit papers of at most
5000 words (excluding figures), in postscript format (letter or A4),
to saig@cs.chalmers.se by 22nd May 2000. Both position and technical
papers are welcome.  Please indicate at time of submission. Position
papers are expected to describe ongoing work, future directions,
and/or survey previous results.  Technical papers are expected to
contain novel results.  All papers will be reviewed by the program
committee for the above mentioned criteria, in addition to correctness
and clarity.  Authors will be notified of acceptance by 3 July 2000.
Final version of the papers must be submitted by 31 July 2000.

Program Committee: 

          Cliff Click, Sun Micro Systems 
          Rowan Davies, CMU 
          Torben Mogensen, DIKU 
          Suresh Jagannathan, NEC Research 
          Tim Sheard, OGI 
          Walid Taha, Chalmers (workshop chair) 
          Peter Thiemann, Freiburg