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
Call For Papers ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04) http://www.sci.univr.it/~pepm04/ Verona, Italy, August 24-25, 2004 Co-located with PPDP'04, LOPSTR'04 and SAS'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 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. PEPM'04 Dates: Submission 11:59pm GMT, Wednesday May 5, 2004 Notification Wednesday May 26, 2004 Early reg. Tuesday July 6, 2004 Camera-ready Wednesday June 16, 2004 Symposium Tuesday-Wednesday August 24-25, 2004 Co-located Events, August 2004: Tue 24 PPDP + PEPM Wed 25 PPDP + PEPM Thu 26 PPDP + SAS + LOPSTR Fri 27 SAS + LOPSTR Sat 28 SAS + LOPSTR Program Committee: John Hatcliff, Kansas State University, USA Siau-Cheng Khoo, National University of Singapore Michael Leuschel, University of Southampton, UK Annie Liu, Stony Brook University, New York, USA Hidehiko Masuhara, University of Tokyo, Japan Erik Meijer, Microsoft Research, USA Robert O'Callahan, IBM TJ Watson Research, USA Frank Pfenning, Carnegie Mellon University, USA German Puebla, Technical University of Madrid, Spain Michael Sperber, Tübingen, Germany Ulrik Pagh Schultz, Aarhus University, Denmark Chairs: Nevin Heintze, Agere Systems, USA (nch@agere.com) Peter Sestoft, KVL and ITU, Copenhagen, Denmark (sestoft@dina.kvl.dk) (March 1, 2004)