[mercury-users] WOID'99 - Call for Papers

Michael Leuschel mal at ecs.soton.ac.uk
Thu Jun 17 00:13:15 AEST 1999


====================================================================
                         Call For Papers

                       ICLP'99 Workshop on

                 Optimization and Implementation of
                 Declarative Programming Languages

                            WOID'99

         Las Cruces, New Mexico, Nov.  29 - Dec.  4, 1999
====================================================================

<Insert favourite "apology for multiple copies" here>

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.

For up-to-date information see:  http://www.ecs.soton.ac.uk/~mal/

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,...
     * 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 at 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

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list