Analysis of imperative XML programs

Authors:
Christoph Reichenbach;Michael G. Burke;Igor Peshansky;Mukund Raghavachari
Affiliations:
University of Colorado at Boulder, United States;IBM T.J. Watson Research Center, United States;IBM T.J. Watson Research Center, United States;Google Inc., United States
Venue:
Information Systems
Year:
2009

Citing 15
Cited 1

Detecting equality of variables in programs

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphic unification and ML typing

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing loops in database programming languages

DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Points-to analysis in almost linear time

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallelizing nonnumerical code with selective scheduling and software pipelining

ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
High Performance Compilers for Parallel Computing

High Performance Compilers for Parallel Computing
Containment and equivalence for a fragment of XPath

Journal of the ACM (JACM)
Static Analysis of XML Transformations in Java

IEEE Transactions on Software Engineering
XJ: facilitating XML processing in Java

WWW '05 Proceedings of the 14th international conference on World Wide Web
Extracting queries by static analysis of transparent persistence

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient static analysis of XML paths and types

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
XMark: a benchmark for XML data management

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Analysis of imperative XML programs

DBPL'07 Proceedings of the 11th international conference on Database programming languages
Conflicting XML updates

EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology

Steno: automatic optimization of declarative queries

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles imperative loops that traverse XML values explicitly and declarative queries over XML data in a uniform framework. We describe two optimizations that take advantage of our analysis: one merges queries that traverse the same set of XML nodes, and the other replaces an XPath expression by a previously computed result. We demonstrate performance improvements for selected XMark benchmark queries and XLinq sample queries.