[Agda] PEPM'10 - First Call for Papers

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Tue Jun 16 16:14:06 CEST 2009


===============================================================
                        CALL FOR PAPERS
                  ACM SIGPLAN 2010 Workshop on
     Partial Evaluation and Program Manipulation (PEPM'10)
                  Madrid, January 18-19, 2010

                   (Affiliated with POPL'10)

          http://www.program-transformation.org/PEPM10
===============================================================


IMPORTANT DATES:

* Paper submission:    Tue, October  6, 2009, 23:59, Apia time
* Author notification: Thu, October 29, 2009
* Camera-ready papers: Mon, November 9, 2009

To facilitate smooth organization of the review process, authors are
asked to submit a short abstract by October 1, 2009.


SUBMISSION CATEGORIES:

* Regular research papers (max. 10 pages in ACM Proceedings style)
* Tool demonstration papers (max. 4 pages plus max. 6 pages appendix)


SCOPE:

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, theory,
tools, and applications of analysis and manipulation of programs.

The 2010 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue previous years' effort
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 covers
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, there
is a separate category of tool demonstration papers.

Topics of interest for PEPM'10 include, but are not limited to:

* Program and model manipulation techniques such as transformations
   driven by rules, patterns, or analyses, partial evaluation,
   specialization, program inversion, program composition, 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, type
   systems, automated testing and test case generation.

* 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, deep embedded
   domain-specific languages, program synthesis by sketching and
   inductive programming, staged computation, and model-driven program
   generation and transformation.

* Application of the above techniques including experimental studies,
   engineering needed for scalability, and benchmarking. Examples of
   application domains include legacy program understanding and
   transformation, DSL implementations, visual languages and end-user
   programming, scientific computing, middleware frameworks and
   infrastructure needed for distributed and web-based applications,
   resource-limited computation, and security.

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.


PROCEEDINGS:

There will be formal proceedings published by ACM Press. In addition to
printed proceedings, accepted papers will be included in the ACM Digital
Library. Selected papers may later on be invited for a journal special
issue dedicated to PEPM'10.


SUBMISSION GUIDELINES:

Papers should be submitted electronically via the workshop web site.

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 (tool papers should
include an additional appendix of up to 6 additional pages giving the
outline, screenshots, examples, etc. to indicate the content of the
proposed live demo at the workshop).

Authors using Latex to prepare their submissions should use the new
improved SIGPLAN proceedings style (sigplanconf.cls).


PROGRAM CO-CHAIRS:

* John Gallagher (Roskilde University, Denmark, and IMDEA Software,
                   Spain)
* Janis Voigtländer (Technische Universität Dresden, Germany)


PROGRAM COMMITTEE MEMBERS:

* Wei-Ngan Chin (National University of Singapore, Singapore)
* Michael Codish (Ben-Gurion University of the Negev, Israel)
* Jim Cordy (Queen's University, Canada)
* Nate Foster (University of Pennsylvania, USA)
* Haifeng Guo (University of Nebraska at Omaha, USA)
* Patricia Johann (University of Strathclyde, UK)
* Oleg Kiselyov (FNMOC, USA)
* Günter Kniesel (University of Bonn, Germany)
* Viktor Kuncak (Ecole Polytechnique Fédérale de Lausanne, Switzerland)
* Yanhong Annie Liu (State University of New York at Stony Brook, USA)
* Andres Löh (Utrecht University, Netherlands)
* Jan Midtgaard (Roskilde University, Denmark)
* David Monniaux (National Center for Scientific Research (CNRS) and
                   VERIMAG laboratory, France)
* Akimasa Morihata (University of Tokyo, Japan)
* Alberto Pettorossi (Università di Roma Tor Vergata, Italy)
* João Saraiva (Universidade do Minho, Portugal)
* Ganesh Sittampalam (Credit Suisse, UK)
* Fausto Spoto (Università di Verona, Italy)
* Harald Søndergaard (University of Melbourne, Australia)
* Walid Taha (Rice University, USA)


More information about the Agda mailing list