PEPM 2007 - Deadline extension
"Ganesan Ramalingam" <[email protected]> Sat, 21 Oct 2006 18:14:02 +0800
| Newsgroups | gmane.comp.lang.clean,gmane.comp.lang.haskell.template,gmane.comp.lang.stratego.user,gmane.comp.lang.mercury.advertisments,gmane.comp.lang.lambda-prolog,gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <D5931A5160FA1B4C91B7A54E107B643D07A91779@APS-MSG-01.southpacific.corp.microsoft.com> |
This is a multi-part message in MIME format.
--===============1316497777==
Content-class: urn:content-classes:message
Content-Type: multipart/alternative;
boundary="----_=_NextPart_001_01C6F4F9.B0410260"
This is a multi-part message in MIME format.
------_=_NextPart_001_01C6F4F9.B0410260
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Due to several requests, the submission deadline for PEPM 2007 has been
extended until Friday, October 27.
=20
----------------------------------------------------------------------
Call For Papers=20
=20
ACM SIGPLAN 2007 Workshop on=20
PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07)
=20
Nice, France
January 15-16, 2007=20
(Co-located with POPL 2007)
=20
http://www.program-transformation.org/PEPM07
----------------------------------------------------------------------
=20
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.
=20
The 2007 PEPM workshop will be based on a broad interpretation of =
semantics-based program manipulation and continue last year's 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.
=20
----------------------------------------------------------------------
=20
Topics of interest for PEPM'07 include, but are not limited to:
=20
+ 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.=20
=20
+ 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.
=20
+ Analysis and transformation for programs/models with advanced
features such as objects, generics, ownership types, aspects,
reflection, XML type systems, component frameworks, and middleware.
=20
+ Techniques that treat programs/models as data objects including
meta-programming, generative programming, staged computation, and
model-driven program generation and transformation.
=20
+ Application of the above techniques including experimental studies,
engineering needed for scalability, and benchmarking. Examples of
application domains include legacy program understanding and
transformation, domain-specific language implementations,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, resource-limited
computation, and security.
=20
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.=20
=20
----------------------------------------------------------------------
=20
Submission Categories and Guidelines
=20
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'07 web site. =
Papers should be submitted electronically via the workshop web site. The =
workshop proceedings will be published in the ACM Digital Library and =
selected papers will be invited for a journal special issue dedicated to =
PEPM'07.
=20
----------------------------------------------------------------------
=20
Important Dates=20
=20
+ Abstracts due: October 18, 2006=20
+ Submission: October 20, 2006 (Extended to October 27, 2006)
+ Notification: December 1, 2006
+ Camera-ready: December 18, 2006=20
+ Workshop: January 15-16, 2007=20
=20
-----------------------------------------------------------------------
=20
Program Chairs
=20
* G. Ramalingam (Microsoft Research, Bangalore)
* Eelco Visser (Delft University of Technology, The Netherlands)
=20
Program Committee Members
=20
* Ras Bodik (University of California, Berkeley, USA)
* Albert Cohen (INRIA, France)
* Jim Cordy (Queen's University, Canada)
* Martin Erwig (Oregon State University, USA)
* Bernd Fischer (University of Southampton, UK)
* John Hatcliff (Kansas State University, USA)
* Jan Heering (CWI, The Netherlands)
* Dan Grossman (University of Washington, USA)
* Annie Liu (State University of New York at Stony Brook, USA)
* Jacques Noy=E9 (=C9cole des Mines de Nantes/INRIA, France)
* German Puebla (Technical University of Madrid, Spain)
* Peter Sestoft (Royal Veterinary and Agricultural University, =
Denmark)
* Yannis Smaragdakis (Georgia Tech, Atlanta, USA)
* Walid Taha (Rice University, Houston, USA)
=20
-----------------------------------------------------------------------
=20
=20
_______________________________________________
Pepm-org mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/pepm-org
=20
------_=_NextPart_001_01C6F4F9.B0410260
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html xmlns:v=3D"urn:schemas-microsoft-com:vml" =
xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" =
xmlns=3D"http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<meta name=3DGenerator content=3D"Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=3DEN-US link=3Dblue vlink=3Dpurple>
<div class=3DSection1>
<p class=3DMsoNormal>Due to several requests, the submission deadline =
for PEPM
2007 has been<o:p></o:p></p>
<p class=3DMsoNormal>extended until Friday, October 27.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
---------------<o:p></o:p></p>
<p =
class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0 Call For Papers <o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0 ACM SIGPLAN 2007 Workshop on <o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0 PARTIAL EVALUATION AND =
PROGRAM MANIPULATION
(PEPM'07)<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0 Nice, France<o:p></o:p></p>
<p =
class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0 January 15-16, 2007 <o:p></o:p></p>
<p =
class=3DMsoNormal>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0 (Co-located with POPL 2007)<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0 =
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0http://www.program-transformation.org/PE=
PM07<o:p></o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
---------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>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.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>The 2007 PEPM workshop will be based on a broad
interpretation of semantics-based program manipulation and continue last =
year's
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.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
---------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>Topics of interest for PEPM'07 include, but are not =
limited
to:<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Program and model manipulation techniques such =
as
transformations<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 driven by rules, patterns, or analyses, =
partial
evaluation,<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 specialization, slicing, symbolic execution, =
refactoring,
aspect<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 weaving, decompilation, and obfuscation. =
<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Program analysis techniques that are used to =
drive
program/model<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 manipulation such as abstract =
interpretation, static
analysis,<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 binding-time analysis, dynamic analysis, =
constraint
solving, and<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 type systems.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Analysis and transformation for =
programs/models with
advanced<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 features such as objects, generics, =
ownership types,
aspects,<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 reflection, XML type systems, component =
frameworks, and
middleware.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Techniques that treat programs/models as data =
objects
including<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 meta-programming, generative programming, =
staged
computation, and<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 model-driven program generation and =
transformation.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Application of the above techniques including
experimental studies,<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 engineering needed for scalability, and =
benchmarking. Examples
of<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 application domains include legacy program =
understanding
and<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 transformation, domain-specific language =
implementations,<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 scientific computing, middleware frameworks =
and
infrastructure<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 needed for distributed and web-based =
applications, resource-limited<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 computation, and security.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>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. <o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
---------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>Submission Categories and Guidelines<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>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'07 web site. Papers should be submitted =
electronically
via the workshop web site. The workshop proceedings will be published in =
the
ACM Digital Library and selected papers will be invited for a journal =
special
issue dedicated to PEPM'07.<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
---------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>Important Dates <o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0+ Abstracts due: October 18, 2006 =
<o:p></o:p></p>
<p class=3DMsoNormal>=A0+ Submission:=A0=A0=A0 October 20, 2006 =
(Extended to October 27,
2006)<o:p></o:p></p>
<p class=3DMsoNormal>=A0+ Notification:=A0 December 1, =
2006<o:p></o:p></p>
<p class=3DMsoNormal>=A0+ Camera-ready:=A0 December 18, 2006 =
<o:p></o:p></p>
<p class=3DMsoNormal>=A0+ Workshop:=A0=A0=A0=A0=A0 January 15-16, 2007 =
<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
----------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>Program Chairs<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * G. Ramalingam (Microsoft Research, =
Bangalore)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Eelco Visser (Delft University of =
Technology, The
Netherlands)<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>Program Committee Members<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Ras Bodik (University of California, =
Berkeley, USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Albert Cohen (INRIA, =
France)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Jim Cordy (Queen's University, =
Canada)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Martin Erwig (Oregon State University, =
USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Bernd Fischer (University of =
Southampton, UK)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * John Hatcliff (Kansas State University, =
USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Jan Heering (CWI, The =
Netherlands)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Dan Grossman (University of Washington, =
USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Annie Liu (State University of New York =
at Stony
Brook, USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0 =A0* Jacques Noy=E9 (=C9cole des Mines de =
Nantes/INRIA, France)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * German Puebla (Technical University of =
Madrid, Spain)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Peter Sestoft (Royal Veterinary and =
Agricultural
University, Denmark)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Yannis Smaragdakis (Georgia Tech, =
Atlanta, USA)<o:p></o:p></p>
<p class=3DMsoNormal>=A0=A0=A0 * Walid Taha (Rice University, Houston, =
USA)<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>-------------------------------------------------------=
----------------<o:p></o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
<p =
class=3DMsoNormal>_______________________________________________<o:p></o=
:p></p>
<p class=3DMsoNormal>Pepm-org mailing list<o:p></o:p></p>
<p class=3DMsoNormal>[email protected]<o:p></o:p></p>
<p =
class=3DMsoNormal>http://mail.cs.uu.nl/mailman/listinfo/pepm-org<o:p></o:=
p></p>
<p class=3DMsoNormal><o:p> </o:p></p>
</div>
</body>
</html>
------_=_NextPart_001_01C6F4F9.B0410260--
--===============1316497777==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
--===============1316497777==--