[Cache from http://www.research.avayalabs.com/user/wadler/planx/accepted.html 2002-08-24; please use this canonical URL/source if possible.]

Papers accepted to PLANX'02:

• Static Analysis for Dynamic XML , by Aske Simon Christensen (BRICS), Anders Mxller (BRICS) and Michael I. Schwartzbach (BRICS).
• 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 Strathclyde).
• 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 Washington).
• 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 (IBM Research).
• 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).