[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:66] CFP : ASIA-PEPM 2002
- To: amast@xxxxxxxxxxxxx, appsem@xxxxxxxxxxxxxx, categories@xxxxxx, concurrency@xxxxxx, eacsl@xxxxxxxxxxxxx, eapls@xxxxxxxxxxxxxx, ecoop-info@xxxxxxxxx, haskell@xxxxxxxxxxx, ipalist@xxxxxxxxxx, lics@xxxxxxxxxxxxxxxxxxxxxx, pept@xxxxxxxxxxxxxxxxxxxxx, prog-lang@xxxxxxxxxxx, relmics-list@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, seworld@xxxxxxxxxxxxxxx, skeletons@xxxxxxxxxxxx, theorynt@xxxxxxxxxxxxxxxxxx, types@xxxxxxxxxxxxx
- Subject: [pept:66] CFP : ASIA-PEPM 2002
- From: Chin Wei Ngan <chinwn@xxxxxxxxxxxxxxx>
- Date: Wed, 12 Dec 2001 19:38:53 +0800 (GMT-8)
- Reply-to: pept@xxxxxxxxxxxxxxxxxxxxx
- Resent-date: Thu, 13 Dec 2001 04:28:34 +0900
- Resent-from: sumii@xxxxxxxxxxxxxxxxxxxxx
- Resent-message-id: <200112130428.FMLAAB651.email@example.com>
- Resent-to: pept@xxxxxxxxxxxxxxxxxxxxx (moderated)
CALL FOR PAPERS
ACM SIGPLAN ASIAN Symposium on
Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM'02)
Aizu, JAPAN, September 12-14 2002
(co-located with FLOPS2002)
Submission deadline: 1st March 2002
The ASIA-PEPM'02 symposium will bring together researchers working in the
areas of semantics-based program manipulation, partial evaluation, and
program analysis. The symposium focuses on techniques, supporting
theory, and applications for the analysis and manipulation of programs.
Technical topics include, but are not limited to:
* Program manipulation techniques: transformation, specialization,
normalization, reflection, rewriting, run-time code generation,
* Program analysis techniques: abstract interpretation, static
analysis, binding-time analysis, type-based analysis.
* Related issues in language design and models of computation:
imperative, functional, logical, constraint-based, object-oriented,
parallel, concurrent, secure, domain-specific.
* Programs as data objects: staging, meta-programming, incremental
computation, mobility, tools and techniques, prototyping and
* Applications: systems programming, scientific computing, embedded
systems, graphics, security, model checking, compiler
generation, compiler optimization, decompilation.
Original results that bear on these and related topics are solicited.
Papers investigating novel uses and applications of program
manipulation are especially encouraged. Authors concerned about
the appropriateness of a topic are welcome to consult with the
program chair prior to submission.
Papers should be submitted electronically via the workshop's Web
page. Exceptionally, submissions may be emailed to the program
chair: firstname.lastname@example.org. Acceptable formats are PostScript
or PDF, viewable by gv. Submissions should not exceed 5000 words,
excluding bibliography and figures.
Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should clearly
identify what has been accomplished and why it is significant.
The work described should not have been previously published in
a major forum. Authors must indicate if a closely related paper
is also being considered for another conference or journal.
The proceeding of the symposium will be published by ACM Press.
A special issue of Higher-Order Symbolic Computation is also
Mizuhito Ogawa (NTT, Japan)
Kenichi Asai (Ochanomizu University, Japan)
Wei-Ngan Chin (National University of Singapore, Singapore)
Manuel Chakravarty (University of New South Wales, Australia)
Tyng-Ruey Chuang (Academia Sinica, Taiwan)
Charles Consel (ENSEIRB, France)
Oege de Moor (University of Oxford, UK)
Masami Hagiya (University of Tokyo, Japan)
Nevin Heintze (Agere Systems, USA)
Neil Jones (Univ of Copenhagen, Denmark)
Yanhong Annie Liu (SUNY at Stony Brook, USA)
Atsushi Ohori (JAIST, Japan)
Alberto Pettorossi (University of Roma, Italy)
Simon Peyton Jones (Microsoft, UK)
Carolyn Talcott (Stanford University, USA)
Zhe Yang (University of Pennsylvania, USA)