JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@jiscmail.ac.uk


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  July 2012

CPHC-CONF July 2012

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

PEPM 2013: Second Call for Papers

From:

scm-ml <[log in to unmask]>

Reply-To:

scm-ml <[log in to unmask]>

Date:

Thu, 19 Jul 2012 14:44:51 +0800

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (150 lines)

                    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)

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager