Second Symposium on Programs as Data Objects PADO II
Aarhus, Denmark, 21-23 May 2001
PADO II will bring together researchers working in the areas of
programming and programming languages. The symposium focuses on
techniques and supporting theory for treating programs as data objects.
Technical topics include, but are not limited to:
- Program manipulation: program specialization, type specialization,
partial evaluation, normalization, reflection, rewriting, run-time
code generation, self-application.
- Program analysis: abstract interpretation, constraints, type
inference, binding-time analysis.
- Theoretical issues in representing and classifying programs:
semantics, algorithmics, logics.
- Applications: interpretation, compilation, compiler generation,
verification, certification, meta-programming, instrumentation,
incremental computation, staging, prototyping, debugging.
- 1 December 2000 -- Extended deadline for paper submissions.
- 16 January 2001 -- Notification of acceptance.
- 16 February 2001 -- Final paper due.
- 30 April 2001 -- Early registration deadline.
- 21-23 May 2001 -- PADO II.
Call for papers
(also available in
PostScript format and in
Boston University, USA
LaBRI / ENSERB, France
Chalmers University, Sweden
Ecole Polytechnique, France
Waseda University, Japan
IT University, Denmark
Carnegie Mellon University, USA
Stony Brook, USA
Bell Labs, USA
James S. Royer,
Syracuse University, USA
Morten Heine Sørensen,
IT Practice, Denmark
Carolyn L. Talcott,
Stanford University, USA
- Jon L White,
CommerceOne, Inc., USA
The proceedings will be published as
LNCS volume 2053.
Some financial support will be available for student participation.
Program Analysis for Implicit Computational Complexity
Bottom-up Deduction with Deletion and Priorities
PADO-II is held in cooperation with
Working Group APPSEM,
visits since August 10, 2000.