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 2012 is the 15th 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, and ETAPS 2010 in Paphos, Cryprus, and ETAPS 2011 in Saarbrücken, Germany.
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.
Programme Committee Chair
Erik Altman, IBM, USA
Rastislav Bodik, University of California at Berkeley, USA
John Cavazos, University of Delaware, USA
Nathan Clark, Georgia Tech, USA
Murray Cole, University of Edinburgh, UK
Alain Darte, ENS Lyon, France
Bjorn De Sutter, Ghent University, Belgium
Amer Diwan, University of Colorado, USA
Derek Dreyer, MPI-SWS, Germany
Matthew Flatt, University of Utah, USA
Sumit Gulwani, Microsoft Research, USA
Atsushi Igarashi, Kyoto University, Japan
Ranjit Jhala, University of California at San Diego, USA
Andreas Krall, TU Vienna, Austria
Julia Lawall, University of Copenhagen, Denmark
Anton Lokhmotov, ARM, UK
Erez Petrank, Technion, Israel
Markus Püschel, ETH Zürich, Switzerland
David Sands, Chalmers University of Technology, Sweden
Vivek Sarkar, Rice University, USA
Jan Vitek, Purdue University, USA