[TYPES/announce] CC 2013: Call For Papers

Ranjit Jhala jhala at cs.ucsd.edu
Thu Oct 4 03:53:44 EDT 2012


(Apologies for multiple copies...)

****Abstract submission deadline in a couple of days!****

                      Call For Papers

22nd International Conference on Compiler Construction (CC 2013)
================================================================

Rome, Italy, March 16-24, 2013 (Part of ETAPS 2013)

http://www.etaps.org/2013/cc13
http://cc2013.elis.ugent.be


Important Dates
---------------
* Abstract Deadline     : Oct  7, 2012      (Sunday)
* Submission Deadline   : Oct 14, 2012      (Sunday)
* Notification          : Dec 14, 2012      (Friday)
* Camera-Ready          : Jan  8, 2013      (Tuesday)
* Conference            : Mar 16-24, 2013

Background
----------
The Conference on Compiler Construction (CC) seeks submissions describing 
research pertaining to all aspects of the construction, analysis and 
execution of software. This includes classical compilation topics such 
as parsing, type checking and code generation, as well as recent areas like
run-time systems, memory management, virtual machines, debuggers,
domain specific languages, and programmer productivity tools like static
checkers, refactoring editors.

CC 2013 is the 22nd edition of the conference. 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 2013 conference will be held on March 16-24 in Rome, Italy.

Topics
------

The conference is devoted to research pertaining to all aspects of the 
construction, analysis and execution of software. Papers are solicited 
on, but not limited to, the following topics:

+ compilation and interpretation techniques, including program representation 
 and analysis, code generation and code optimization;

+ run-time techniques, including memory management, virtual machines, 
 and dynamic and just-in-time compilation;

+ programming tools, including refactoring editors, checkers, compilers, 
 and debuggers;

+ techniques for specific domains, including secure, parallel, distributed,
 embedded or mobile environments;

+ design of novel language constructs and their implementation.

CC 2013 is not limited to topics discussed in previous editions. Papers 
identifying future directions for compilers, runtimes, and execution
environments, broadly construed, especially those addressing the rapid 
changes of the underlying computing platforms are especially welcome.

Submission Information
----------------------

The conference proceedings will be published in the Springer-Verlag 
Lecture Notes in Computer Science series. Submissions and final versions
of papers  must be in the format (http://www.springer.de/comp/lncs/authors.html)
A condition of submission is that, if the submission is accepted, 
one of the authors must attend the conference to present the paper.

The submissions must adhere to the strict page limit of 20 pages (LNCS format). 
The above limit includes bibliography and figures. Submissions that are 
clearly too long may be rejected immediately.

Papers should be submitted electronically via the EasyChair submission 
(http://www.easychair.org/conferences/?conf=cc2013). 

Submitted papers must be unpublished and not be submitted for
publication elsewhere. Papers must be written in English and be submitted 
in pdf-format.


Organizers
----------

Program Chairs

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

Program Committee

- Umut Acar               (Carnegie Mellon University, USA)
- Gogul Balakrishnan      (NEC, Princeton, USA)
- Francois Bodin          (CAPS entreprise, France)
- George Necula           (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)
- Jurgen Vinju            (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)


More information about the Types-announce mailing list