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


  http://sunshine.cs.uni-dortmund.de/~knoop/COCV2003/cocv2003.html


-------------------------------------------------------------------


                                        In conjunction with the
                              6th European Joint Conferences on
                                Theory and Practice of Software
                                                    ETAPS 2003
                                                Warsaw, Poland
                                            April 5 - 13, 2003
                              http://duch.mimuw.edu.pl/etaps03/


===================================================================


IMPORTANT DATES
---------------
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
preservation.


Organizers
----------
  - Jens Knoop, FernU. Hagen and U. Dortmund, Germany,
          knoop@ls5.cs.uni-dortmund.de
  - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany,
          zimmer@informatik.uni-halle.de


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:


    http://sunshine.cs.uni-dortmund.de/~knoop/COCV2003/cocv2003.html


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
(http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/index.htt).
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:
--------------------
http://sunshine.cs.uni-dortmund.de/~knoop/COCV2003/cocv2003.html

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