Looks like it's a personal directory for Leslie Lamport (http://en.wikipedia.org/wiki/Leslie_Lamport http://en.wikipedia.org/wiki/Leslie_Lamport), who is cited

Looks like it's a personal directory for Leslie Lamport (http://en.wikipedia.org/wiki/Leslie_Lamport http://en.wikipedia.org/wiki/Leslie_Lamport), who is cited several times in the paper. Think of it as a professor hosting research papers that cite him in his field on his university site, rather than a business site.