[Agda] PEPM 2013: Second Call for Papers

[Shin-Cheng Mu]

                    C A L L   F O R   P A P E R S

                        === P E P M  2013 ===

                       ACM SIGPLAN Workshop on 
            Partial Evaluation and Program Manipulation 
            http://www.program-transformation.org/PEPM13

                         January 20-21, 2013 
                             Rome, Italy
                     (Affiliated with POPL 2013)


====================================================================

NEWS

- Submission deadline: September 28 (abstract) and October 2 (paper)
- Invited speakers: Zhenjiang Hu and Peter Thiemann
- Special issue of Science of Computer Programming (SCP)
 (5-Year Impact Factor of SCP: 1.304)

====================================================================

SCOPE

The   PEPM  Symposium/Workshop  series   aims  at   bringing  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  2013 PEPM workshop  will be  based on  a broad  interpretation of
semantics-based   program  manipulation   and  continue  recent  years'
successful 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, a  separate category of tool  demonstration papers will
be solicited.

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

* Program and model manipulation techniques such as: supercompilation,
 partial  evaluation, fusion,  on-the-fly program  adaptation, active
 libraries,   program   inversion,   slicing,   symbolic   execution,
 refactoring, decompilation, and obfuscation.

* Program  analysis techniques  that are  used to  drive program/model
 manipulation such as: abstract interpretation, termination checking,
 binding-time analysis,  constraint solving, type  systems, automated
 testing and test case generation.

* Techniques  that  treat programs/models  as  data objects  including
 metaprogramming,  generative  programming, 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  case  studies  of
 program   manipulation  in   real-world   (industrial,  open-source)
 projects and software  development processes, descriptions of robust
 tools  capable  of   effectively  handling  realistic  applications,
 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.

To  maintain the  dynamic  and  interactive nature  of  PEPM, we  will
continue the  category of 'short  papers' for tool  demonstrations and
for presentations of  exciting if not fully polished  research, and of
interesting academic, industrial and open-source applications that are
new or unfamiliar.

Student attendants  with accepted papers  can apply for a  SIGPLAN PAC
grant to help  cover travel expenses.  PAC also  offers other support,
such as for child-care expenses during the meeting or for travel costs
for companions of SIGPLAN  members with physical disabilities, as well
as for travel from locations  outside of North America and Europe. For
details on the PAC programme, see its web page.

All  accepted papers,  short papers  included, will  appear  in formal
proceedings   published  by   ACM  Press.   In  addition   to  printed
proceedings,  accepted papers  will  be included  in  the ACM  Digital
Library.  Selected papers will be invited for a journal  special issue 
of Science of Computer Programming dedicated to PEPM'13.

PEPM has established a Best  Paper award. The winner will be announced
at the workshop.

Authors must transfer copyright to ACM upon acceptance (for government
work, to the extent  transferable), but retain various rights. Authors
are encouraged to publish  auxiliary material with their paper (source
code, test  data, etc.); they retain copyright  of auxiliary material.
The SIGPLAN  Republication Policy and  ACM's Policy and  Procedures on
Plagiarism apply.

IMPORTANT DATES

Abstract submission: September 25, 2012
Paper submission:    October    2, 2012
Notification:	     November   6, 2012
Camera ready:	     November  14, 2012

SUBMISSION GUIDELINES, CATEGORIES, 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.  At least one author of  each accepted contribution
must attend  the workshop and  present the work.  In the case  of tool
demonstration papers,  a live demonstration  of the described  tool is
expected.    Suggested  topics,   evaluation  criteria,   and  writing
guidelines  for both  research  and tool demonstration papers  will be 
made available on the  PEPM'13  Web-site.   Papers should be submitted
electronically via  the workshop  web site.  

PROGRAM CO-CHAIRS

 Elvira Albert (Complutense University of Madrid, Spain)
 Shin-Cheng Mu (Academia Sinica, Taiwan)

PEPM 2013 PROGRAM COMMITTEE

   * Maria Alpuente (Technical University of Valencia, Spain)
   * Kenichi Asai (Ochanomizu University, Japan)
   * Maria Garcia de la Banda (Monash University, Australia)
   * James R. Cordy (Queen's University, Canada)
   * R. Kent Dybvig (Cisco and Indiana University, USA)
   * Joao Fernandes (University of Minho, Portugal)
   * Samir Genaim (Complutense University of Madrid, Spain)
   * Roberto Giacobazzi (Verona University, Italy)
   * Andy Gill (University of Kansas, USA)
   * Jurriaan Hage (Utrecht University, Netherlands)
   * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany)
   * Julia Lawall (INRIA, France)
   * Yanhong Annie Liu (Stony Brook University, USA)
   * Kazutaka Matsuda (University of Tokyo, Japan)
   * Keisuke Nakano (University of Electro-Communications, Japan)
   * Klaus Ostermann (University of Marburg, Germany)
   * Sergei A. Romanenko (Russian Academy of Sciences, Russia)
   * Jeremy Siek (University of Colorado at Boulder, USA)
   * Walid Mohamed Taha (Halmstad University, Sweden)
   * Tarmo Uustalu (Tallinn University of Technology, Estonia)
   * Janis Voigtlaender (University of Bonn, Germany)
   * Dana N. Xu (INRIA, France)