[Haskell] CFP: GPCE' 15 (COMLAN Special Issue), Deadline June 8

[Tomofumi Yuki]

 Call for Papers: Computer Languages, Systems and Structures
 COMLAN Special Issue on the 14th International Conference on
  Generative Programming: Concepts & Experiences (GPCE'15)

Papers will be selected among top ranked papers from GPCE'15:

                    ACM SIGPLAN GPCE 2015
              14th International Conference on
        Generative Programming: Concepts & Experiences

             Oct 26-27, 2015, Pittsburgh, PA, USA
                   http://www.gpce.org

GPCE keynote speaker: Prof. Priya Narasimhan (CMU, USA)

GPCE is co-located with:
ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH 2015)
and
ACM SIGPLAN 8th International Conference on Software Language
Engineering (SLE) 2015

-----------------------------------------------------------------
IMPORTANT DATES

  GPCE abstract submission  : June 8, 2015
  GPCE full paper submission: June 15, 2015
  GPCE authors notification : July 24, 2015
  GPCE camera-ready         : Aug 7, 2015
  GPCE conference           : Oct 26-27, 2015

  Special issue submission  : January 1, 2016
  Special issue notification: May 1, 2016
  Special issue publication : July 1, 2016

  Note that GPCE workshops are handled by SPLASH

All dates are Anywhere on Earth

-----------------------------------------------------------------
SCOPE

GPCE is a venue for researchers and practitioners interested in techniques
that use program generation, domain-specific languages, and component
deployment to increase programmer productivity, improve software quality,
and shorten the time-to-market of software products. In addition to
exploring cutting-edge techniques of generative software, our goal is to
foster further cross-fertilization between the software engineering and the
programming languages research communities.

-----------------------------------------------------------------
TOPICS OF INTEREST 

GPCE seeks contributions on all topics related to generative software and
its properties. Topics of interest include, but are not limited to:

Generative software
* Domain-specific languages (language extension, language embedding,
  language design, language theory, language workbenches, interpreters,
  compilers)
* Product lines (domain engineering, feature-oriented and
  aspect-oriented programming, pre-processors, feature interactions)
* Metaprogramming (reflection, staging, partial evaluation), Type
  systems, Program synthesis
* Implementation techniques and tool support (components, plug-ins,
  libraries, metaprogramming, macros, templates, generic programming,
  run-time code generation, model-driven development, composition tools,
  code-completion and code-recommendation systems)

Practical Applications and Empirical evaluations
* Empirical evaluations of all topics above (user studies, substantial case
  studies, controlled experiments, surveys, rigorous measurements)  
* Application areas and engineering practice (Cloud Computing, Internet of
  Things, Cyber Physical Systems, Mobile Computing, Software Defined
  Networking, High Performance Computing, Patterns and Middleware,
  Development methods)

Properties of generative software
* Correctness of generators and generated code (analysis, testing, formal
  methods, domain-specific error messages, safety, security)   
* Reuse and evolution
* Modularity, separation of concerns, understandability, and
  maintainability  
* Performance engineering, nonfunctional properties (program optimization
  and parallelization, GPGPUs, multicore, footprint, metrics)

We particularly welcome papers that address some of the key challenges in
the field, such as, 
* synthesizing code from declarative specifications
* supporting extensible languages and language embedding
* ensuring correctness and other nonfunctional properties of generated code
* proving generators correct
* improving error reporting with domain-specific error messages
* reasoning about generators
* handling variability-induced complexity in product lines
* providing efficient interpreters and execution languages
* human factors in developing and maintaining generators 

GPCE encourages submissions about empirical evaluations and applications of
generative software, and such papers will be given special consideration
during reviewing.