COCV 2007

March 25th, 2007       Braga, Portugal organised with Artist partners 

COCV 2007
Compiler Optimization Meets Compiler Verification
6th International Workshop

In conjunction with the
10th European Joint Conferences on
Theory and Practice of Software
ETAPS 2007
Braga, Portugal
March 24 - April 1, 2007

Workshop Description

COCV 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.

Previous COCV workshops have taken place in 2002 in Grenoble, in 2003 in Warsaw, in 2004 in Barcelona, in 2005 in Edinburgh and in 2006 in Vienna, always as a satellite event of the ETAPS conferences.


See it online!

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet