From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1EB5D7ED26 for ; Fri, 15 Jun 2012 18:26:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBAMJh20+MbRQxhWdsb2JhbABFtVMiAQEBCgsLBRYngjxJDimBJIgTAQuYOJhNiQSLNhSFHWADiECSOI0WgUk X-IronPort-AV: E=Sophos;i="4.75,779,1330902000"; d="scan'208,217";a="147828020" Received: from mx.iis.sinica.edu.tw ([140.109.20.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Jun 2012 18:26:23 +0200 Received: from mail.iis.sinica.edu.tw (mail [192.168.0.50]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id q5FGRFRl068253 for ; Sat, 16 Jun 2012 00:27:15 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) Received: from [192.168.0.112] (114-36-227-108.dynamic.hinet.net [114.36.227.108]) (authenticated bits=0) by mail.iis.sinica.edu.tw (8.13.8/8.13.8) with ESMTP id q5FGQFo1033568 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Sat, 16 Jun 2012 00:26:15 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) From: scm-ml Content-Type: multipart/alternative; boundary="Apple-Mail=_55E5FFF3-F1EC-4DF0-8032-1399482EA5E6" Date: Sat, 16 Jun 2012 00:26:10 +0800 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1278) X-Mailer: Apple Mail (2.1278) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Sat, 16 Jun 2012 00:27:16 +0800 (CST) X-Spam-Score: -0.999 () ALL_TRUSTED,HTML_MESSAGE X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] PEPM 2012: Preliminary Call for Papers --Apple-Mail=_55E5FFF3-F1EC-4DF0-8032-1399482EA5E6 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 P R E L I M I N A R Y C A L L F O R P A P E R S =3D=3D=3D P E P M 2013 =3D=3D=3D ACM SIGPLAN Workshop on=20 Partial Evaluation and Program Manipulation=20 http://www.program-transformation.org/PEPM13 January 20-21, 2013=20 Rome, Italy (Affiliated with POPL 2013) ** SUBMISSION DEADLINE: ** late September/early October (precise date to be announced on the website shortly) 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. Like for recent PEPMs, selected papers will be invited for a journal special issue 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. 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=20 made available on the PEPM'13 Web-site. Papers should be submitted electronically via the workshop web site.=20=20 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=E4t M=FCnchen, 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)= --Apple-Mail=_55E5FFF3-F1EC-4DF0-8032-1399482EA5E6 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1

   =             &nb= sp;        P R E L I M I N A R Y
           &nbs= p;        C A L L   F O R=   P A P E R S

       &= nbsp;           &nbs= p;    =3D=3D=3D P E P M  2013 =3D=3D=3D

&nb= sp;            =           ACM SIGPLAN Wor= kshop on 
         &nb= sp;  Partial Evaluation and Program Manipulation 

&nb= sp;           http://www.program-trans= formation.org/PEPM13


      &nb= sp;            =       January 20-21, 2013 
 &nbs= p;            &= nbsp;           &nbs= p;  Rome, Italy
       &nbs= p;            &= nbsp;(Affiliated with POPL 2013)



** SUBMISSION DEADLINE: ** = late September/early October (precise date
to be announced on the websit= e shortly)

SCOPE

The   PEPM  Symposium/Worksho= p  series   aims  at   bringing  togethe= r
researchers  and  practitioners  working   in=  the  areas  of  program
manipulation, partial eval= uation, and program generation. PEPM focuses
on  techniques,  = theory,  tools,  and  applications  of  analysis &= nbsp;and
manipulation of programs.

The  2013 PEPM workshop &= nbsp;will be  based on  a broad  interpretation of
semant= ics-based   program  manipulation   and  cont= inue  recent  years'
successful effort to expand the scope of = PEPM significantly beyond the
traditionally covered  areas of parti= al  evaluation and specialization
and include practical application= s  of program transformations such as
refactoring  tools, and =  practical implementation  techniques  such as
rule-based=  transformation systems.   In addition,  the scope &nb= sp;of PEPM
covers  manipulation   and  transformatio= ns  of   program  and  system
representations s= uch  as structural and semantic models  that occur in
the cont= ext  of model-driven  development.  In order  to reach =  out to
practitioners, a  separate category of tool  demo= nstration papers will
be solicited.

Topics of interest for PEPM'1= 3 include, but are not limited to:

* Program and model manipulation = techniques such as: supercompilation,
 partial  evaluation, fu= sion,  on-the-fly program  adaptation, active
 libraries,=   program   inversion,   slicing,  &nbs= p;symbolic   execution,
 refactoring, decompilation, and = obfuscation.

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

* Techniques  that  treat programs/mod= els  as  data objects  including
 metaprogramming, &= nbsp;generative  programming, embedded  domain-specific
 = languages, program synthesis by sketching and inductive programming,
&nb= sp;staged   computation,  and   model-driven  = ;program   generation  and
 transformation.

*= Application  of  the  above  techniques including &nbs= p;case  studies  of
 program   manipulation &nb= sp;in   real-world   (industrial,  open-source) projects and software  development processes, descriptions of r= obust
 tools  capable  of   effectively  h= andling  realistic  applications,
 benchmarking. Examples= of application domains include legacy program
 understanding  = ; and  transformation,  DSL   implementations, &nb= sp;visual
 languages and end-user programming, scientific computing= , middleware
 frameworks and  infrastructure needed for  = distributed and web-based
 applications, resource-limited computati= on, and security.

To  maintain the  dynamic  and &nbs= p;interactive nature  of  PEPM, we  will
continue the &nb= sp;category of `short  papers' for tool  demonstrations and
fo= r presentations of  exciting if not fully polished  research, and= of
interesting academic, industrial and open-source applications that a= re
new or unfamiliar.

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

All  accepted papers, &= nbsp;short papers  included, will  appear  in formal
proc= eedings   published  by   ACM  Press.  &= nbsp;In  addition   to  printed
proceedings,  a= ccepted papers  will  be included  in  the ACM  Di= gital
Library. Like for recent PEPMs,  selected papers will be invi= ted for a
journal special issue dedicated to PEPM'13.

PEPM has es= tablished a Best  Paper award. The winner will be announced
at the = workshop.

Authors must transfer copyright to ACM upon acceptance (fo= r 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.

SUB= MISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS

Regular Research &nb= sp;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 &nb= sp;present the work.  In the case  of tool
demonstration paper= s,  a live demonstration  of the described  tool is
expec= ted.    Suggested  topics,   evaluation  = ;criteria,   and  writing
guidelines  for both  = ;research  and tool demonstration papers  will be 
made a= vailable 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)

P= EPM 2013 PROGRAM COMMITTEE


   * Maria Alpuente (T= echnical University of Valencia, Spain)
   * Kenichi Asai= (Ochanomizu University, Japan)
   * Maria Garcia de la B= anda (Monash University, Australia)
   * James R. Cordy (= Queen's University, Canada)
   * R. Kent Dybvig (Cisco an= d Indiana University, USA)
   * Joao Fernandes (Universit= y of Minho, Portugal)
   * Samir Genaim (Complutense Univ= ersity of Madrid, Spain)
   * Roberto Giacobazzi (Verona = University, Italy)
   * Andy Gill (University of Kansas, = USA)
   * Jurriaan Hage (Utrecht University, Netherlands)=
   * Martin Hofmann (Ludwig-Maximilians-Universit=E4t M= =FCnchen, Germany)
   * Julia Lawall (INRIA, France)
&= nbsp;  * Yanhong Annie Liu (Stony Brook University, USA)
 = ;  * Kazutaka Matsuda (University of Tokyo, Japan)
  = ; * Keisuke Nakano (University of Electro-Communications, Japan)
&n= bsp;  * 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)
&= nbsp;  * Tarmo Uustalu (Tallinn University of Technology, Estonia= )
   * Janis Voigtlaender (University of Bonn, Germany)   * Dana N. Xu (INRIA, France)= --Apple-Mail=_55E5FFF3-F1EC-4DF0-8032-1399482EA5E6--