Nathan Cooprider <c...@cs.utah.edu>

I put up pdf versions of a number of the talks we have done about cXprop
and CComp.

http://www.cs.utah.edu/~coop/research/cxprop
http://www.cs.utah.edu/~coop/research/ccomp