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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
