C A L L F O R P A P E R S
=== P E P M 2006 ===
ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation
(Affiliated with POPL 2006)
http://www.cis.ksu.edu/santos/pepm06
January 9-10, 2006
Charleston, South Carolina
The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, supporting theory, tools, and applications of the analysis
and manipulation of programs.
The 2006 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation. This year, a concerted effort
will be made to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
will be broadened to cover manipulation and transformations of program
and system representations such as structural and semantic models that
occur in the context of model-driven development. In order to reach
out to practitioners, a separate category of tool demonstration papers
will be solicited.
Topics of interest for PEPM'06 include, but are not limited to:
* Program and model manipulation techniques such as transformations
driven by rules, patterns, or analyses, partial evaluation,
specialization, slicing, symbolic execution, refactoring, aspect
weaving, decompilation, and obfuscation.
* Program analysis techniques that are used to drive program/model
manipulation such as abstract interpretation, static analysis,
binding-time analysis, dynamic analysis, constraint solving, and type
systems.
* Analysis and transformation for programs/models with advanced features
such as objects, generics, ownership types, aspects, reflection, XML
type systems, component frameworks, and middleware.
* Techniques that treat programs/models as data objects including
meta-programming, generative programming, model-driven program
generation and transformation.
* Application of the above techniques including experimental studies,
engineering needed for scalability, and benchmarking in a wide variety
of domains including source code manipulation, domain-specific
language implementations, scientific computing, middleware frameworks
and infrastructure needed for distributed and web-based applications.
We especially encourage papers that break new ground including
descriptions of how program/model manipulation tools can be integrated
into realistic software development processes, descriptions of robust
tools capable of effectively handling realistic applications, and new
areas of application such as rapidly evolving systems, distributed and
web-based programming including middleware manipulation, model-driven
development, and on-the-fly program adaptation driven by run-time or
statistical analysis.
Submission Categories, Guidelines, and Proceedings:
Regular Research Papers must not exceed 10 pages in ACM Proceedings
style. Tool demonstration papers must not exceed 4 pages in ACM
Proceedings style, and authors will be expected to present a live
demonstration of the described tool at the workshop. Suggested
topics, evaluation criteria, and writing guidelines for both research
tool demonstration papers will be made available on the PEPM'06
Web-site. Papers should be submitted electronically via the workshop
web site. We plan to publish the workshop proceedings in ACM SIGPLAN
Notices (with full papers appearing in the ACM Digital Library) and
selected papers will be invited for a journal special issue dedicated
to PEPM'06.
Important Dates:
Submission........: October 7, 2005 Apia, 11:59pm, Samoan time
(firm deadline, no extensions)
Notification......: November 18, 2005
Camera-Ready Paper: December 16, 2005.
Workshop co-Chairs:
John Hatcliff, Kansas State University, USA (hatcliff(a)cis.ksu.edu)
Frank Tip, IBM T.J. Watson Research Center, USA (ftip(a)us.ibm.com)
PEPM 2006 Program Committee:
Krzysztof Czarnecki
University of Waterloo
Gary Daugherty
Rockwell Collins Advanced Technology Center
Tom Dean
Queen's University
Mangala Gowri Nanda
IBM India
John Hatcliff (co-chair)
Kansas State University
Nevin Heintze
Agere Systems
Jaakko Järvi
Texas A & M University
Jens Krinke
University of Hagen
Shriram Krishnamurthi
Brown University
Julia Lawall
University of Copenhagen (DIKU)
Oege de Moor
Oxford University
Germán Puebla
Technical University of Madrid
Peter Sestoft
Royal Veterinary and Agricultural University (Denmark)
Gregor Snelting
University of Passau
Frank Tip (co-chair)
IBM T.J. Watson Research Center
Eelco Visser
Universiteit Utrecht
--
----------------------------------------------------------------------------
John Hatcliff Phone: 785-532-6350
Professor Fax..: 785-532-7353
Department of Computing and
Information Sciences Email: hatcliff(a)cis.ksu.edu
234 Nichols Hall WWW..: http://www.cis.ksu.edu/~hatcliff
Kansas State University
Manhattan, KS 66506
----------------------------------------------------------------------------
------------------------------------------------------------------------
--
CALL FOR TECHNICAL PAPERS
Fifth International Conference on
Generative Programming and Component Engineering (GPCE'06)
http://www.gpce.org/06/
October 22-26, 2006
Portland, Oregon
(co-located with OOPSLA'06)
Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT.
Proceedings to be published by ACM Press.
------------------------------------------------------------------------
--
IMPORTANT DATES
* Pre-submission: April 30, 2006
* Submission: May 5, 2006, 23:59, Apia time (firm deadline, no
extensions)
* Notification: June 28, 2005
SCOPE
Generative and component approaches are revolutionizing software
development similar to how automation and components revolutionized
manufacturing. Generative Programming (developing programs that
synthesize other programs), Component Engineering (raising the level
of modularization and analysis in application design), and
Domain-Specific Languages (elevating program specifications to compact
domain-specific notations that are easier to write, maintain, and
analyze) are key technologies for automating program development.
GPCE provides a venue for researchers and practitioners interested in
foundational techniques for enhancing the productivity, quality, and
time-to-market in software development that stems from deploying
standard componentry and automating program generation. In addition to
exploring cutting-edge techniques for developing generative and
component-based software, our goal is to foster further
cross-fertilization between the software engineering research
community and the programming languages community.
------------------------------------------------------------------------
--
SUBMISSIONS
10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting
research results and/or experience related to the topics above (PC
co-chairs can advise on appropriateness). We particularly encourage
original high-quality reports on applying GPCE technologies to
real-world problems, relating ideas and concepts from several topics,
or bridging the gap between theory and practice.
------------------------------------------------------------------------
--
TOPICS
GPCE seeks contributions in software engineering and in programming
languages related (but not limited) to:
* Generative programming
Reuse, meta-programming, partial evaluation, multi-stage and
multi-level languages, and step-wise refinement
Semantics, type systems, symbolic computation, linking and
explicit
substitution, in-lining and macros, templates, and program
transformation
Runtime code generation, compilation, active libraries, synthesis
from specifications, development methods, generation of non-code
artifacts, formal methods, and reflection
* Generative techniques for
Product-line architectures
Distributed, real-time and embedded systems
Model-driven development and architecture
* Component-based software engineering
Reuse, distributed platforms and middleware, distributed systems,
evolution,
patterns, development methods, deployment and configuration
techniques, and formal methods
* Integration of generative and component-based approaches
* Domain engineering and domain analysis
Domain-specific languages (DSLs) including visual and UML-based
DSLs
* Separation of concerns
Aspect-oriented and feature-oriented programming,
Intentional programming and multi-dimensional separation of
concerns
* Industrial applications
Reports on applications of these techniques to real-world
problems are especially encouraged, as are submissions that
relate ideas and concepts from several of these topics, or bridge
the gap between theory and practice. The program committee is
happy to advise on the appropriateness of a particular subject.
------------------------------------------------------------------------
--
General Chair
Stanislaw Jarzabek (National University of Singapore, Singapore)
Program Committee
Program Chairs:
Douglas Schmidt (Vanderbilt University, USA)
Todd Veldhuizen (Indiana University, USA)
Program Committee Members:
Giuseppe Attardi (University of Pisa, Italy)
Elisa Baniassad (Chinese University of Hong Kong, China)
Don Batory (University of Texas at Austin, USA)
Ira Baxter (Semantic Designs, USA)
Shigeru Chiba (Tokyo Institute of Technology, Japan)
Charles Consel (INRIA/LaBRI, France)
Krzysztof Czarnecki (University of Waterloo, Canada)
Aniruddha Gokhale (Vanderbilt University, USA)
Jeff Gray (U. of Alabama Birmingham, USA)
George Heineman (Worcester Polytechnic Institute, USA)
Zhenjiang Hu (University of Tokyo, Japan)
H.-Arno Jacobsen (University of Toronto, Canada)
Oleg Kiselyov (FNMOC, USA)
Fabio Kon (University of São Paolo, Brazil)
Karl Lieberherr (Northeastern University, USA)
Joe Loyall (BBN Technologies, USA)
Mira Mezini (Darmstadt University of Technology, Germany)
Torben Æ. Mogensen (DIKU, Denmark)
Emir Pasalic (Rice University, USA)
Calton Pu (Georgia Tech, USA)
Tim Sheard (Portland State University, USA)
Yannis Smaragdakis (Georgia Tech, USA)
Michael Stal (Siemens, Germany)
Peri Tarr (IBM TJ Watson, USA)
Peter Thiemann (Freiburg University, Germany)
Eelco Visser (Utrecht University, The Netherlands)
Workshops/Tutorials chairs:
Christa Schwanninger (Siemens, Germany)
Arno Jacobsen (University of Toronto, Canada)
Publicity chair:
Emir Pasalic (Rice University, USA)
Steering Committee:
Don Batory (University of Texas at Austin, USA)
Krzysztof Czarnecki (University of Waterloo, Canada)
Ulrich Eisenecker (University of Leipzig, Germany)
Stanislaw Jarzabek (National University of Singapore, Singapore)
Eugenio Moggi (University of Genoa, Italy)
Greg Morrisett (Harvard University, USA)
Frank Pfenning (Carnegie Mellon University, USA)
Tim Sheard (Portland State University, USA)
Yannis Smaragdakis (Georgia Tech, USA)
Walid Taha (Rice University, USA)
For additional information, clarification, or questions please feel
free to contact the Program Committee Co-chairs
(Gpce06-chairs-l(a)mailman.rice.edu).
------------------------------------------------------------------------
--
GPCE Tutorials and Workshops
GPCE Tutorials, extending over a half or full day, give a deeper or
broader insight than conventional lectures.
GPCE Workshops provide intensive collaborative environments, where
generative and component technologists meet to discuss and resolve
challenging problems in the field.
Tutorial and workshop proposals are due Mar 18, 2006.