From: Chin Wei Ngan <chinwn@comp.nus.edu.sg>
To: categories@mta.ca
Subject: CFP : ASIA-PEPM 2002
Date: Wed, 12 Dec 2001 19:38:53 +0800 (GMT-8) [thread overview]
Message-ID: <200112121138.TAA20037__22046.1387107664$1241018372$gmane$org@sunA.comp.nus.edu.sg> (raw)
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)
http://www.comp.nus.edu.sg/asia-pepm02
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,
multi-level programming.
* 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
debugging.
* 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.
SUBMISSION INFORMATION
Papers should be submitted electronically via the workshop's Web
page. Exceptionally, submissions may be emailed to the program
chair: asiapepm@comp.nus.edu.sg. 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
planned.
LOCAL ARRANGEMENT
Mizuhito Ogawa (NTT, Japan)
GENERAL CHAIR
Kenichi Asai (Ochanomizu University, Japan)
PROGRAM CHAIR
Wei-Ngan Chin (National University of Singapore, Singapore)
PROGRAM COMMITTEE
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)
reply other threads:[~2001-12-12 11:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='200112121138.TAA20037__22046.1387107664$1241018372$gmane$org@sunA.comp.nus.edu.sg' \
--to=chinwn@comp.nus.edu.sg \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).