PLAN-X 2006
Programming Language Technologies for XML
A workshop colocated with POPL 2006
Charleston (SC), 14th of January 2006

Informal Proceedings and online material

The informal proceedings are available here. Also available are the slides of the demos: you can obtain them by clicking on the title of each demo. The slides of the invited talk are available both in PowerPoint (6.6M) and in PDF (8.8M).


Invited Talk

Service Interaction Patterns by John Evdemon (slides available in PowerPoint or PDF).

Abstract  The traditional method for building a service requires a developer to ensure that business logic is not hosted directly within the service itself. While this approach helps make the service more flexible it does not address the biggest architectural gap facing web services today: service interaction patterns (SIPs). A SIP occurs when services engage in concurrent and interrelated interactions with other services. Traditional web service architectures are designed to accommodate simple point-to-point interactions - there is no concept of a logical flow or series of steps from one service to another. Standards such as WS-BPEL are being developed to address this gap. In this session we will discuss a "manifesto" for workflow-enabled solutions, review emerging standards (BPEL, others) and address possible misconceptions regarding these standards.

About John Evdemon.  John is currently developing/evangelizing Business Architectures and Standards for the Public Sector (e-Government and Education Industries) as a member of Microsoft's Developer and Partner Evangelism Architecture Strategy Team. John also serves as Co-Chair of the BPEL4WS (Business Process Execution Language for Web Services) standard.
    Prior to joining Microsoft John was CTO for a successful XML-based e-business start-up and Director of XML/Web Services for a large integration vendor. John has designed and delivered XML-based solutions for companies like JP Morgan, Visa and General Motors. John also assisted in the development of the W3C XML Technical Recommendation and has been involved with various e-business standards at OASIS, UN/CEFACT and X12.
    John also served as Editor-in-Chief of XML Journal while contributing to several books and journals on XML and e-business. John is an experienced speaker and teacher, having lectured at universities and industry trade shows around the world. John is a member of both IEEE and ACM and with a BS in Computer Science and a Masters in Information Security. 

Programme

PAPERS:

TREES AND TRANSDUCERS:
  •  Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot and Sophie Tison. Composing Monadic Queries in Trees
  • Akihiko Tozawa. Type Checking For Functional XML Programming without Type Annotation
PROGRAMMING LANGUAGES:
  • Christian Kirkegaard and Anders Møller. Type Checking with XML Schema in Xact. 
  • Vladimir Gapeyev, François Garillot and Benjamin Pierce. Statically Typed Document Transformation:  An Xtatic Experience 
  • Mary Fernandez, Kathleen Fisher, Robert Gruber and Yitzhak Mandelbaum. PADX : Querying Large-scale Ad Hoc Data with XQuery
 POLYMORPHISM :
  • Alain Frisch. OCaml + XDuce
  • Jérôme Vouillon. Polymorphism and XDuce-style patterns
DEMOS:

Demos will be briefly presented in two sessions before the coffee breaks, and held during the breaks themselves (see the schedule).

Schedule

  9:00-10:00 Invited Talk
     John Evdemon (Microsoft). Service Interaction Patterns.

 10:00-10:30 Demo session 1
     XPath acceleration, Imperative DB Optimizers, Xcerpt,  XJ, XLinq

 10:30-11:00 BREAK (with demos)

 11:00-12:30 Languages
    - Vladimir Gapeyev, François Garillot and Benjamin Pierce.
      Statically Typed Document Transformation:  An Xtatic
      Experience
    - Christian Kirkegaard and Anders Møller. Type Checking
      with XML Schema in Xact.
    - Mary Fernandez, Kathleen Fisher, Robert Gruber and Yitzhak
      Mandelbaum. PADX : Querying Large-scale Ad Hoc Data with
      XQuery

 12:30-14:00 LUNCH

 14:00-15:00 XML and Polymorphism
    - Alain Frisch. OCaml + XDuce
    - Jérôme Vouillon. Polymorphism and XDuce-style patterns

 15:00-15:30 Demo session 2
    Xact, Xtatic, OcamlDuce, LaunchPADs, XHaskell

 15:30-16:00 BREAK (with demos)

 16:00-17:00 Trees and Transducers for XML
    - Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot and Sophie
      Tison. Composing Monadic Queries in Trees
    - Akihiko Tozawa. Type Checking for Functional XML Programming
      without Type Annotation


Aims and Scope

Programming language plays an increasingly important role in the design and implementation of future XML processing systems. The PLAN-X workshop provides a forum where like-minded researchers from a range of communities --- programming languages, databases, and document processing, etc. --- can gather and exchange ideas.

The scope of the workshop includes both theoretical and practical research. We seek both mature work and preliminary descriptions of exciting work in progress. Example topics include -- but are not limited to -- the following:

Demos

This year the program committee invites proposals for a demonstration session. This session offers a showcase for first-hand experience with research systems and prototypes for programming with XML. Authors of selected proposals will be given the opportunity to present a brief overview of their system at the meeting and demonstrate their system in a separate room. Submission of a demonstration proposal on a particular topic does not preclude or require a separate submission of a paper on that topic. Commercial sales and marketing activities are not appropriate for the demonstration session.

Proceedings

There will be no formal proceedings. The aim is that, besides providing a forum for presenting new ideas, the workshop can be a focused testbed for mature work before it is submitted to a major conference.

Important Dates

Submission guidelines

Research papers: We solicit submissions on original research not previously published or currently submitted for publication elsewhere. We request extended abstracts not exceeding 5000 words (approximately 10 pages), but shorter extended abstracts (e.g. 2000 words) are often sufficient.

Demos: An extended abstract of up to two pages, including the title, authors, full contact information, and technical content to be demonstrated must be provided. Please indicate if the demo requires network access.

Submitted documents should be in screen-readable PDF format.

Papers submission Web Site: http://planx06.brics.dk/PLAN-X-06/submit/ (CLOSED)

Demos submission e-mail: planx-demo@watson.ibm.com

Program Committee Chair

Program Committee

Demo Chair

General Chair

Previous Workshops

Following Workshops

Sponsored by SIGPLAN

Page maintained by Giuseppe Castagna. Last modification Tue Jan 24th, 2006.