XPath satisfiability in the presence of DTDs, PODS'05 ,
Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10 ,
DOI : 10.1145/1810295.1810363
Video demo, 2011. ,
Identifying query incompatibilities with evolving XML schemas, ICFP'09 ,
Efficient static analysis of XML paths and types, PLDI'07 ,