PLANX workshop: program and call for participation
PLAN-X: PROGRAMMING LANGUAGE TECHNOLOGIES FOR XML
Oct 3, 2002
(co-located with PLI)
XML has emerged as the de facto standard for data interchange on the web.
The use of XML as a common format for representation, interchange, and
transformation of data poses new challenges to programming languages,
applications, and database systems. During the last few years, the
database research community has devoted a lot of attention to XML's data
representation challenges, as evidenced by the number of XML-related
publications in premier database conferences and journals.
In contrast, the attention devoted to XML by the programming language
research community has been minimal. This is unfortunate, since the
robustness of current and future programming standards and tools for XML
will depend on the strength of their foundations in core programming
technologies e.g., XML parsing (parsing theory and incremental parsing),
XML schemas (type systems), XPATH expressions and XSLT programs
(pattern-matching languages and their optimization), XSLT debuggers
(dynamic program analysis and slicing). Since XML is a new domain, core
programming technologies developed in past research cannot be used
unchanged; instead, novel research is required to address the unique
challenges posed by XML and its use in web applications and standalone
This workshop aims to bring together researchers from the programming
languages and XML communities,
a) to foster novel research to address unique challenges being posed by
XML on current and future programming technologies;
b) to exchange information on early research experiences with XML-related
programming systems, tools, and languages;
c) to expose the PLI community to XML technologies and the potential
impact of these technologies on future software.
* James Clark, Title TBA
* Static Analysis for Dynamic XML, by Aske Simon Christensen
(BRICS), Anders Mxller (BRICS) and Michael I. Schwartzbach
* On XML Objects, by Martin Kempa (Insitut f|r Informationssysteme,
Universitdt zu Lubeck) and Volker Linnemann (Insitut f|r
Informationssysteme, Universitdt zu Lubeck).
* CDuce: a white paper, by Veronique Benzaken (U Paris XI
(Paris-Sud), France), Giuseppe Castagna (ENS Paris, France) and
Alain Frisch (ENS Paris, France).
* Projector: a partially typed language for querying XML, by
Richard Connor (University of Strathclyde), David Lievens
(University of Strathclyde) and Fabio Simeoni (University of
* Validation and Boolean operations for Attribute-Element
Constraints, by Haruo Hosoya (Kyoto University) and Makoto Murata
(IBM Tokyo Research Laboratory).
* XMLTK: An XML Toolkit for Scalable XML Stream Processing, by
Iliana Avila-Campillo (Institute for Systems Biology), Todd Green
(Xyleme), Ashish Gupta (University of Washington), Makoto Onizuka
(NTT Cyber Space Laboratories, NTT Corporation ), Demian Raven
(University of Washington) and Dan Suciu (University of
* An Algorithm for Streaming XPath Processing with Forward and
Backward Axes, by Charles Barton (IBM Research), Philippe Charles
(IBM Research), Marcus Fontoura (IBM Research), Deepak Goyal (IBM
Research), Vanja Josifovski (IBM Research) and Mukund Raghavachari
* Automated Update Management for XML Integrity Constraints, by
Michael Benedikt (Lucent Technologies), Glenn Bruns (Lucent
Technologies), Julie Gibson (Lucent Technologies), Robin Kuss
(Lucent Technologies) and Amy Ng (Lucent Technologies).