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

CFP: SAIG'01


                              CALL FOR PAPERS
 Semantics, Applications and Implementation of Program Generation (SAIG'01)
        PLI Workshop, September 6th, 2001.  (Deadline:  May 20, 2001)

                http://www.cs.yale.edu/~taha/saig/cfp01.html

Program generation has the prospect of being an integral part of a
wide range of software development processes.  Many 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 theoretical and
practical models and tools for building program generators systems,
Examples include:

   * Semantics, type systems,  and implementations for multi-stage
     languages.
   * Run-time specialization systems:  e.g. compilers, operating systems.
   * High-level program generation (applications, foundations,
     environments).
   * Program synthesis from high-level specifications.
   * Symbolic computation, linking and explicit substitution, in-lining and
     macros.

Reports on applications of these techniques to real-world problems are
especially encouraged, as are submissions that relate ideas and
concepts from several of these topics, or bridge the gap between
theory and practice.  The program committee is happy to advise on the
appropriateness of a particular subject.

Format: The one-day workshop will contain slots for technical papers
(30 minutes) and position papers (20 minutes. Both times include
discussion.) In addition, there will be one hour allocated for open
discussions at the end of the workshop.  Proceedings will be published
as an LNCS volume.

Invited Speakers:

   * Krzysztof Czarnecki, University of Ilmenau and Daimler Chrysler
   * Tim Sheard, Oregon Graduate Institute of Science and Technology
   * Mitch Wand, Northeastern University

Submission Details: Authors are invited to submit papers of at most
5000 words (excluding figures), in postscript format (letter or A4),
using the electronic submission form by May 20th, 2001.  This deadline
is not extensible. 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 July 17th, 2001.  Final version of
the papers must be submitted by July 15th, 2001.

Program Committee:


     *  Gilles Barthe, INRIA     *  David Basin, Freiburg
     *  Don Batory, Texas        *  Robert Glück, DIKU
     *  Nevin Heintze, Bell-Labs *  Eugenio Moggi, DISI
     *  Greg Morrisett, Cornell  *  Flemming Nielson, Aarhus
     *  David Sands, Chalmers    *  Walid Taha,Yale (PC Chair)
References: