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


                        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: knoop@ls5.cs.uni-dortmund.de

Submission Information and Proceedings
Papers should be submitted electronically in standard Postscript or
PDF to Jens Knoop (knoop@ls5.cs.uni-dortmund.de), 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
(http://math.tulane.edu/~entcs/). 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: