I have a copy of his paper at U of W titled "A Code Synthesis filter for basic block optimization" 72-3-01. The code behind the paper was written in XPL.
Further, his work in that area is referenced in other compiler-related books such as Flow Analysis of Computer Programs by Matthew S. Hect.
Interesting, I've followed topics about Kildall for years but never knew about this. Cool.