CfP: Compiler Construction (CC 2006, Vienna, March 06)

                                                                CC 2006
                  15th International Conference on Compiler Construction
                                      A member conference of ETAPS 2006


                                                      March 25 - April 2
                                                        Vienna, Austria


                                          http://www.st.cs.uni-sb.de/cc/




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


* Alan Mycroft, University of Cambridge
* Andreas Zeller, Saarland University




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 Muenster, 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/

Return to the comp.compilers page.
Search the comp.compilers archives again.