Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
Organizers: Jens Knoop, Wolf Zimmermann
Description:
Semantics preservation between source and target program is the commonly accepted minimum
requirement to be ensured by compilers. It is the key term compiler verification and optimization are
centered around. The precise meaning, however, is often only implicit. As a rule of thumb, verification
tends to interpret semantics preservation in a very tight sense, not only but also to simplify the
verification task. Optimization generally prefers a more liberal view in order to enable more powerful
transformations otherwise excluded. The surveyor's rod of admissibility is semantics preservation,
and hence the language semantics. But the adequate interpretation varies fluently with the
application context ("stand-alone" programs, communicating systems, reactive systems, etc.).
The aim of the workshop is to bring together researchers and practitioners working on optimizing and verifying compilation as well as on programming language design and semantics in order to plumb the mutual impact of these fields on each other, the degrees of freedom optimizers and verifiers have, to bridge the gap between the communities, and to stimulate synergies.
Submission of papers at the joint of all these fields is solicited. This includes (but is not limited to) certifying compilation, dynamic and just-in-time compilation and optimization, and profile- and feedback-guided optimization. Particularly welcome are papers on optimization and verification emphasizing the safety policy they are aiming at, how it is established, and how it can be adapted within the boundaries set up by the overall requirement of semantics preservation.
Date received: August 18, 2001
© 2008 Atlas Conferences Inc.