Poirot – A Concurrency Sleuth Shaz Qadeer Research in Software Engineering Microsoft Research.
MonetDB/XQuery: Using a Relational DBMS for XML