is a member conference of the European Joint Conferences on Theory and
Practice of Software (ETAPS), which is the primary European forum for
academic and industrial researchers working on topics relating to
Software Science. ETAPS 2010 is the 13th joint conference in this series.
The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble, ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, ETAPS 2006 in Vienna, ETAPS 2007 in Braga, ETAPS 2008 in Budapest, and ETAPS 2009 in York, UK.
Call for Papers
CC is interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system operates,
including traditional compiler construction as a special case.
Topics of interest include, but are not limited to:
Accepted paper will appear in the proceedings and have presentations during
conference. A condition of submission is that, if the submission is accepted,
one of the authors attends the conference to give the presentation. Submitted
papers must be in English presenting original research. They must be unpublished
and not submitted for publication elsewhere. In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is forbidden.
- compilation and interpretation techniques, including program representation
and analysis, code generation and code optimization;
- run-time techniques, including memory management and dynamic and
- programming tools, from refactoring editors to checkers to compilers to
virtual machines to debuggers;
- techniques for specific domains, such as secure, parallel, distributed,
embedded or mobile environments;
- design of novel language constructs and their implementation.
Papers should be submitted electronically in PDF format. The proceedings will be
published in the Springer-Verlag Lecture Notes in Computer Science series.
Final papers will be in the format specified by Springer-Verlag at the
Contributions must be in PDF in the Springer LNCS style.
The submissions must adhere to the strict page limit of 20 pages.
Submissions that are clearly too long may be rejected immediately.
Proofs omitted due to space limitations may be included in a clearly
marked appendix. All accepted papers will appear in the proceedings,
both electronic and hard-copy.
Papers can be sumitted via the following
Submission deadlines are strict (site will close at 23:59 Samoan time).
Submission of an abstract implies no obligation
to submit a full version; abstracts with no corresponding full versions by the
full paper deadline will be considered as withdrawn.
James Larus, Microsoft Research
Programme Committee Chair
Michael O'Boyle, University of Edinburgh, UK
Jack Davidson, University of Virginia, USA
Paul Feautrier, ENS de Lyon, France
Guang Gao, University of Delaware, USA
Antonio Gonzalez, Intel and UPC, Spain
Rajiv Gupta, University of California, Riverside, USA (Chair)
Laurie Hendren, McGill University, Canada
Robert Hundt, Google, CA, USA
Suresh Jagannathan, Purdue University, USA
Chandra Krintz, University of California, Santa Barbara, USA
Julia Lawall, DIKU, Denmark
Madan Musuvathi, Microsoft Research, USA
Yunheung Paek, Seoul National University, Korea
Santosh Pande, Georgia Tech, USA
Vivek Sarkar, Rice University, USA
Bernhard Scholz, University of Sydney, Australia
Bjorn De Sutter, Ghent University, Belgium
Andreas Zeller, Saarland University, Germany
Christoph von Praun, Ohm University of Applied Sciences, Germany