<pre>COCV is devoted to advances in theory and practice on the theoretical<br>foundations and applications of approaches, technologies, and tools<br>for compiler optimization and compiler verification and their mutual<br>dependencies. It provides a forum for researchers and practitioners<br>working on optimizing and verifying compilation, and related fields<br>such as translation validation, certifying and credible compilation,<br>but also programming language design and programming language<br>semantics to exchange their latest findings. By encouraging<br>discussions and co–operations across different, yet related fields,<br>the workshop strives for bridging the gap between the communities,<br>and for stimulating synergies and cross–fertilizations among them.<br>Submission of papers at the joint of all these fields is solicited.<br>Particularly welcome are papers on optimization and verification<br>emphasizing the safety policy imposed on and ensured by the<br>optimization they are aiming at, how it is established, and how it<br>can be adapted within the boundaries set up by the overall demand of<br>correctness and hence semantics preservation.</pre>
Abbrevation
COCV
City
York
Country
UK
Start Date
End Date
Abstract