Preliminary Call for Papers

Workshop Description

Generation of correct, yet highly performant code, are central demands users impose on their compilers. While correctness essentially boils down to semantics preservation between source and target program, performance is typically considered with respect to quite diverse dimensions such as run-time, code size, or power consumption. Though optimizers are integral parts of now-a-days compilers, and research on compiler verification made substantial and impressive progress in the past and is maturing, it is still subject to research how to best combine and reconcile optimizing and verifying compilation, i.e., how to extend the techniques of compiler verification to compiler optimization, or vice versa, to make compiler optimizations more easily amenable to compiler verification. Striving for adequately answering these questions is a constant stimulus for research in compiler optimization and verification, and related fields such as translation validation and certifying and credible compilation, touching also fields such as programming languages design and semantics as lose parts of a language's semantics specification as well as the kind of application ("stand-alone" programs, communicating and reactive systems, etc.) introduce room for interpretation of what semantics preservation really means.

The aim of the workshop is to bring together researchers and practitioners working on optimizing and verifying compilation, and related fields such as optimization validation, certifying and credible compilation, in particular, also for DSLs, programming language design and programming language semantics for exchanging their latest findings, for plumbing the mutual impact of these fields on each other, and for stimulating cross-fertilizations.

Submission of papers at the joint of all these fields is solicited. This includes (but is not limited to) translation validation, certifying and credible compilation, profile- and feedback-guided optimization, and dynamic or just-in-time compilation and optimization. Particularly welcome are papers on optimization and verification emphasizing the safety policy imposed on and ensured by the optimization they are aiming at, how it is established, and how it can be adapted within the boundaries set up by the overall demand of correctness and hence semantics preservation.

Submission Information and Proceedings

Papers should be submitted electronically in standard Postscript or PDF to Wolf Zimmermann, together with a plain text message containing the paper's title, author name(s), abstract, and keywords. The format of submissions should adhere to the format of Elsevier's ENTCS proceedings and should not exceed 15 pages. Submissions that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should be included on the title page. Submitted papers must be unpublished and not submitted for publication elsewhere. Printed Preliminary Proceedings will be available at the Workshop. We are planning (approval pending) that the Final Proceedings will be published in the Electronic Notes in Theoretical Computer Science Series (ENTCS), Elsevier Science, Amsterdam, The Netherlands. Moreover, we are planning to invite authors of accepted papers of COCV 2006 to submit revised, extended versions of their paper for publication in a joint special issue of a journal. The specific publication venue is currently under consideration. These submissions will pass through a second round of peer-reviewing.

Summary of Key Dates

Authors, who submitted already a paper, are eligible and kindly invited to submit an updated version of their paper by the new deadline.