Call for Papers

Workshop Description

COCV workshop provides a forum for researchers and practitioners working on optimizing and verifying compilation, and on related fields such as translation validation, certifying compilation and embedded systems with a special emphasis on hardware verification, formal synthesis methods, correctness aspects in HW/SW co-design, formal verification of hardware/software systems, and practical and industrial applications of formal techniques 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.

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 via the electronic submission system. 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. Email 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. As in previous years, the proceedings of accepted papers will be published in the Electronic Notes in Theoretical Computer Science (ENTCS) series, Elsevier Science, Amsterdam, The Netherlands (pending). Preliminary proceedings will be available at the workshop. Selected papers will be considered for publication in a special issue of an appropriate journal. The specific publication venue has not yet been decided on. These submissions will pass through a second round of peer-reviewing.

Summary of Key Dates