Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 PEPM'04 Call for Papers
Call For Papers
ACM SIGPLAN 2004 Symposium on
Partial Evaluation and Program Manipulation (PEPM'04)
The 2004 PEPM symposium will be based on a broad interpretation of
semantics-based program manipulation. This includes not only
traditional partial evaluation and specialization areas, but any
research topic that fundamentally relies upon program manipulation
driven by program meaning. Examples include security mechanisms based
on systematic program transformation (e.g. introduction of
stack-protection checks, execution monitoring, obfuscation), automatic
differentiation methods and techniques for program generation.
Topics of interest
Topics of interest for PEPM'04 include, but are not limited to:
Applications: domain-specific applications of program manipulation,
systems programming, scientific computing, algorithmics, graphics,
security checking, simulation, compiler generation, compiler
optimization, decompilation, obfuscation, prototyping, profiling,
debugging, and industrial applications.
Techniques: program generation and generative programming,
specialization, normalization, reflection, run-time code
generation, multi-level programming, meta-programming, program
analysis and types.
Assessment: applicability of program manipulation techniques to
particular architectures and language paradigms, scalability,
benchmarking, portability.
We especially encourage papers that break new ground, including new
techniques, new ways of thinking about established approaches, and new
areas of application such as mobile code and security (e.g. intrusion
prevention/detection, design and implementation of secure systems).
In addition to regular papers, we encourage short tool
papers. Proceedings will be published by ACM Press.
Submission Process
Papers should be submitted electronically via the
symposium's Web page. Exceptionally, submissions may be emailed to
the program chairs: nch@agere.com and sestoft@dina.kvl.dk. Acceptable
formats are PostScript or PDF, viewable by gv.
Submission Categories
Regular Papers should not exceed 5000 words, excluding bibliography
and figures. Tool papers are short papers that describe and evaluate
implemented tools. Guidelines
for tool papers can be found on the
PEPM'04 Web-site.
Evaluation of Submissions
Submitted papers will be judged on their significance, relevance,
correctness, originality, and clarity. They should include a clear
identification of what has been accomplished and why it is
significant. Application papers will be evaluated on the importance
and scope of the application, clarity and completeness of the
application description, the significance of the program manipulation
aspects of the application, and general interest to the PEPM
community. The evaluation of tool papers is described on the PEPM'04
Web-site. Papers that have been previously published in a major forum
or are currently under review for another conference should not be
submitted. Authors must clearly indicate if a related paper has
appeared or is under consideration for another conference or journal.
Venue
Verona in northern Italy was a major city in Roman times. Its
famous and well-preserved Roman Arena (amphitheatre) is around 1900
years old, yet you can still attend theatre and opera performances
there. Verona has an international airport but can also be reached
from Venice or Milan in less than 2 hours.