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.