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

Tomofumi Yuki tomofumi.yuki at inria.fr
Tue May 26 08:45:37 UTC 2015


 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.


More information about the Haskell mailing list