CC 2013 - International Conference on Compiler Construction
16 - 24 March 2013, Rome, Italy
Home

Conference Description

CC 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 2013 is the 16th 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, ETAPS 2009 in York, UK,  ETAPS 2010 in Paphos, Cryprus, ETAPS 2011 in Saarbrücken, Germany and ETAPS 2012 in Tallinn, Estonia.

 

Program

Thursday, March 21

15:15 – 16:15 Register allocation

  • Philipp Klaus Krause: Optimal Register Allocation in Polynomial Time
  • Gergö Barany, Andreas Krall: Optimal and Heuristic Global Code Motion for Minimal Spilling


16:30 – 18:00 Pointer analysis

  • George Kastrinis, Yannis Smaragdakis: Efficient and Effective Handling of Exceptions in Java Points-To Analysis
  • Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue: An IncrementalPoints-to Analysis with CFL-Reachability
  • Holger Siegel, Axel Simon: FESA: Fold- and Expand-based Shape Analysis

 

Friday, March 22

9:00 – 10:30 Invited Talk

  • Emery Berger: Programming with People: Integrating Human-Based and Digital Computation

 

11:00 – 12:30 Data and information flow

  • Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau: Simple and Efficient Construction of Static Single Assignment Form
  • Somashekaracharya G Bhaskaracharya, Uday Bondhugula: PolyGLoT: APolyhedral Loop Transformation Framework for a Graphical Dataflow Language
  • Ryan Whelan, Tim Leek, David Kaeli: Architecture-Independent Dynamic Information Flow Tracking


15:15 – 16:15 Machine learning

  • Rosario Cammarota: Determination of inlining vectors for program optimization
  • Ryan Moore, Bruce Childers: Automatic Generation of Program Affinity Policies Using Machine Learning


16:30 – 18:00 Refactoring

  • Stefan Kempf, Ronald Veldema, Michael Philippsen: Compiler-Guided Identification of Critical Sections in Parallel Code
  • Soroush Radpour, Laurie Hendren, Max Schaefer: Refactoring MATLAB
  • Eberhard Bertsch, Mark-Jan Nederhof and Sylvain Schmitz: On LR Parsing with Selective Delays 

 

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:

  • 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 or mobile environments;
  • design of novel language constructs and their implementation.

Accepted paper will appear in the proceedings and have presentations during the 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.

 

Submission Guidelines

Papers should be submitted electronically in PDF format. See the common call for papers of ETAPS 2013. Submit your paper via the CC 2013 author interface of Easychair.

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 URL: http://www.springer.de/comp/lncs/authors.html

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.

 

Proceedings

You can find the proceedings on http://www.springer.com/computer/swe/book/978-3-642-37050-2

 

Invited speaker

Emery Berger (Univ. of Massachusetts, Amherst, USA)

 

Programme co-chairs

Koen De Bosschere (Ghent University, Belgium)
Ranjit Jhala (University of California, San Diego, US)

 

Programme committee

Umut Acar (Max Planck, Germany)
Gogul Balakrishnan (NEC, Princeton, USA)
Francois Bodin (CAPS entreprise, France)
Necula George C. (University of California, Berkeley, USA)
Albert Cohen (École Normale Supérieure, Paris, France)
Björn Franke (University of Edinburgh, UK)
Grigori Fursin (INRIA, France)
Andreas Gal (Mozilla, USA)
Mary Hall (University of Utah, USA)
Ben Hardekopf (University of California, Santa Barbara, USA)
Vinju Jurgen J. (CWI Amsterdam, Netherlands)
Christian Lengauer (University of Passau, Germany)
Matt Might (University of Utah, USA)
Alan Mycroft (Cambridge University, UK)
Keshav Pingali (University of Texas, Austin, USA)
Eelco Visser (TU Delft, Netherlands)
Greta Yorsh (ARM, UK)
Bern Zorn (Microsoft Research, USA)