15th International Conference on Compiler Construction (CC 2006)
A member conference of ETAPS 2006
March 30 — March 31
Vienna, Austria
|
News
The CC
2006 program is now available. See you in Vienna!
Call for Papers
CC is concerned with processing of programs in the most general
sense: analyzing or transforming input which represents
some form of description of how a system operates, and including
traditional compiler construction as a special case.
Topics of interest include, but
are not limited to:
- compilation and interpretation techniques, including program representation and analysis, code generation and code optimization
- run-time techniques, including memory management and dynamic and just-in-time compilation
- programming tools, from refactoring editors to checkers to
compilers to virtual machines to debuggers
- techniques for specific domains,
such as secure, parallel, distributed, embedded, mobile, or low power code;
or hardware
- design of novel language constructs and their implementation
- any analogue of such above items in a system not traditionally
viewed as compiler/interpreter/debugger.
The proceedings will be published in the Springer-Verlag Lecture Notes
in Computer Science (LNCS) series.
Dates
Abstracts due: | Friday October 7, 2005 |
Submissions due: | Friday October 14, 2005
by 11:59PM PDT
|
Acceptance notification: | Friday December 9, 2005 |
Camera-ready papers due: | Friday January 6, 2006
|
Conference: | March 25 — April 2
|
All deadlines are strict — no extensions shall be given.
Submissions
As with other ETAPS conferences, CC accepts two types of contributions:
research papers and
tool demonstration papers.
Both types of contributions will appear in the proceedings and have
oral presentations during the conference. Both are evaluated by the CC
Program Committee.
Research papers
Research papers cover one or more of the topics above, including tool
development and case studies from a perspective of scientific
research. They should clearly state the problem this work is
addressing, propose a solution, and evaluate the solution.
Submissions must adhere to the
ETAPS 2006 submission guidelines. In particular, they should:
- present original research which is unpublished
and not submitted elsewhere (conferences or journals);
in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden
- be in English
- be prepared using the Springer-Verlag LNCS style
- come in PDF format viewable and printable by Acrobat Reader
- have at most 15 pages, including all figures and bibliography
- have their abstract sent in by the given date (see above)
- be submitted by the given date (see above).
Submissions deviating from the ETAPS 2006 submission guidelines
will be rejected without review.
Tool demonstration papers
Tool demonstration papers present tools based on the processing of
programs and the aforementioned technologies.
Submissions must adhere to the
ETAPS 2006 submission guidelines. In particular, they should:
- be in English presenting original research
- be prepared using the Springer-Verlag LNCS style
- come in PDF format viewable and printable by Acrobat Reader
- consist of two parts:
- The first part, at most four pages,
should describe the tool presented. Please include the URL
of the tool (if available) and provide information which
illustrates the maturity and robustness of the tool.
(This part will be included in the proceedings.)
- The second part, at most six pages,
should explain how the demonstration will be carried out
and what it will show, including screen dumps and examples.
(This part will be not be included in the proceedings,
but will be evaluated for acceptance.)
- have their abstract sent in by the given date (see above)
- be submitted by the given date (see above).
Submissions deviating from the ETAPS 2006 submission guidelines will be rejected without
review.
People
Conference Chairs
Program Committee
- Radhia Cousot (CNRS, France)
- Koen De Bosschere
(Ghent University, Belgium)
- Arie van Deursen
(CWI, Netherlands)
- Michael Ernst
(Massachusetts Institute of Technology)
- Sergei Gorlatch
(U Münster, Germany)
- Chris Hankin
(Imperial College, UK)
- Jens Knoop
(TU Vienna, Austria)
- Shriram Krishnamurthi
(Brown University, Rhode Island)
- K. Rustan M. Leino
(Microsoft Research, Washington)
- Oege de Moor
(Oxford University, UK)
- Greg Morrisett
(Harvard University, Massachusetts)
- Alan Mycroft
(University of Cambridge, UK), Co-Chair
- Morten Rhiger
(Roskilde University, Denmark)
- Barbara Ryder
(Rutgers University, New Jersey)
- Frank Tip
(IBM Research, New York)
- Des Watson
(University of Sussex, UK)
- Kwangkeun Yi
(Seoul National University, Korea)
- Andreas Zeller
(Saarland University, Germany), Co-Chair
Visit the CC 2006 Web site at
http://www.st.cs.uni-sb.de/cc/
(This call for papers is also available in
PDF and Text format.)
|