CFP COCV 2003, in conjunction with ETAPS 2003, Warsaw, Poland

"Jens Knoop" <>
25 Sep 2002 23:54:11 -0400

          From comp.compilers

Related articles
CFP COCV 2003, in conjunction with ETAPS 2003, Warsaw, Poland (Jens Knoop) (2002-09-25)
| List of all articles for this month |

From: "Jens Knoop" <>
Newsgroups: comp.compilers
Date: 25 Sep 2002 23:54:11 -0400
Organization: Compilers Central
Keywords: conference, CFP
Posted-Date: 25 Sep 2002 23:54:11 EDT


                                                CALL FOR PAPERS

                                  2nd International Workshop on
              Compiler Optimization Meets Compiler Verification

                                                      COCV 2003

                                                  Warsaw, Poland
                                                  April 12, 2003


                                        In conjunction with the
                              6th European Joint Conferences on
                                Theory and Practice of Software
                                                    ETAPS 2003
                                                Warsaw, Poland
                                            April 5 - 13, 2003


Submission deadline: November 25, 2002.
Notification: January 15, 2003.
Final versions due to February 15, 2003.

Workshop Description
COCV 2003 provides a forum for researchers and practitioners working
on optimizing and verifying compilation, and related fields such as
translation validation, certifying and credible compilation,
programming language design and programming language semantics, for
exchanging their latest findings, and for plumbing the mutual impact
of these fields on each other. By encouraging discussions and
co-operations across different, yet related fields, the workshop
strives for bridging the gap between the communities, and for
stimulating synergies and cross-fertilizations among them.

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 dealing with how to
combine and reconcile optimizing and verifying compilation, i.e., how
to extend the techniques of compiler verification to compiler
optimization, and vice versa, how to make compiler optimizations more
easily amenable to compiler verification. Particularly welcome are
also 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

  - Jens Knoop, FernU. Hagen and U. Dortmund, Germany,

  - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany,

Program Committee
  - Michael Franz, University of California, Irvine, USA
  - Jens Knoop, FernU. Hagen and U. Dortmund, Germany
  - Peter Lee, Carnegie Mellon University, USA
  - Erik Meijer, Microsoft Research, USA
  - Oege de Moor, Oxford University, UK
  - Robert Morgan, DataPower, Cambridge, USA
  - Mary Lou Soffa, University of Pittsburgh, USA
  - Wolf Zimmermann, Univ. Halle-Wittenberg, Germany

Official Address and Organization
For any questions related to COCV 2003 please refer to our web site:

or e-mail to:

Submission Information and Proceedings
Papers should be submitted electronically in standard Postscript or
PDF to Jens Knoop (, 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 Series 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. The Final Proceedings will be published in the Electronic
Notes in Theoretical Computer Science Series (ENTCS), Elsevier
Science, Amsterdam, The Netherlands
As for COCV 2002, it is planned to invite authors of accepted papers
to submit revised, extended versions of their paper for publication in
a 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
Submission deadline: November 25, 2002.
Notification: January 15, 2003.
Final versions due to February 15, 2003.

COCV 2003 Home Page:

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.