SAIG

• Deadline: March
• Conference: September (with PLI)

• 2002: http://www.cs.yale.edu/homes/taha/saig
• 2001: http://www.cs.yale.edu/~taha/saig/cfp01.html

Description (from call for papers 2001)

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.