Call For Papers
Optimization and Implementation
of Declarative Programming Languages
WOID'99
Las Cruces, New Mexico, Nov. 29 - Dec. 4, 1999
Overview:
This workshop will be run in conjunction with
the
1999 International
Conference on Logic Programming on November 29 - December 4, 1999.
The aim of this workshop is to provide a forum where
new trends, ideas and developments
concerning the optimization and implementation
of declarative languages can be discussed.
It is especially geared towards bringing researchers from low-level
compilation and high-level
optimization together, and papers or talks which bridge this gap are
especially welcome.
This workshop will be tightly linked with the workshop entitled
Parallelism and
Implemenetation Techniques for Logic Programming
Languages.
There will be joint sessions, and the programme committees reserve the
right to transfer papers in the middle ground
from one workshop to the other.
Motivations:
Compilers and linkers are getting more and more sophisticated and employ
more and more high-level optimizations, such as partial evaluation or
deforestation.
Researchers in high-level optimization and transformation, on the other hand,
realise that low-level issues have to be taken into
account in order to apply their techniques in practice.
So, in this workshop we want to
provide the possibility for these two areas to meet and
accelerate their synergy.
Topics:
Submissions on all aspects of optimization and implementation
of declarative languages are solicited.
Descriptions of work in progress are also welcome.
Topics of particular interest are:
- Partial evaluation/deduction, source code vs. target code
specialisation, on-the-fly code generation,
automatic compiler generation
- Global/static analysis in optimization
- Intermediate representations for logic programs and constraints and
interfaces to other languages such as Java, CORBA, DBMS, GUI, etc.
- Link-time optimization and architecture-specific optimization techniques
- Low-level cost analysis to guide high-level optimizations
- High-level optimizations to enable low-level optimizations
- The interaction (beneficial or not)
between high-level and low-level optimizations and transformations.
- Empirical (positive and/or negative) results,
as well as the presentation of open problems
- Discussions on the "Black Art of Benchmarking"
- Surveys and tutorials of high-level optimizations (targeted at
implementation
experts) or low-level optimizations (targeted at the high-level
optimization experts)
Some programming
languages of special interest are:
- Logic Programming languages and deductive databases,
- (Concurrent) Constraint logic programming languages,
- Functional programming languages,
- Combined functional/logical programming languages.
Submissions:
Extended abstracts must be written in English, must not exceed 5 pages
(excluding references and figures) for regular talks or 2 pages for short
talks.
Submissions must include a cover page
containing: a 200-word abstract, keywords, postal and electronic
mailing addresses, and voice and fax numbers of one of the authors.
Papers must be submitted electronically.
Please send a postscript file to the workshop coordinator via electronic
mail to
mal@ecs.soton.ac.uk.
At least one author of each accepted abstract is expected to attend the workshop.
The proceedings will be published as a
DSSE technical report
of
the University of Southampton
and will also be directly available on
the world-wide-web.
A special journal issue of selected papers is planned.
- Important Dates:
-
Deadline for submissions: September 14, 1999
Notification of acceptance/rejection: October 9, 1999
Organization:
- Program Committee:
- Saumya Debray,
University of Arizona, USA
Bart Demoen,
University of Leuven, Belgium
John Gallagher,
University of Bristol, UK
Michael Leuschel,
University of Southampton, UK
German Puebla,
University of Madrid, Spain
Peter Stuckey,
University of Melbourne, Australia
Neng-Fa Zhou,
Kyushu Institute of Technology, Japan
- Workshop Coordinator:
- Michael Leuschel,
University of Southampton, UK