Aurélien - I looked into the two bugs you mentioned today. Unfortunately, the first problem occurs

Thanks to a bug report from Fernando Magno Quintao Pereira at UCLA, I found out the posted CComp

I put up pdf versions of a number of the talks we have done about cXprop and CComp. http://www.cs.

John Regehr presented the research behind cXprop this past weekend at the Washington University in St

The new version of cXprop is up and running, and this page has been updated here and there to reflect

John Regehr presented our work for cXprop in Sydney Australia earlier this month. The slides for that

I just posted a version of cXprop which adds global state to the information printed by using the --

I updated the source download on the CComp website. So the current version of cXprop/CComp can be

I put John's slides for his upcoming talk on RAM compression on the website: http://www.cs.utah.

I just put together a web page which has simplified binaries and scripts for running our static

I have just expanded the CComp web page to be somewhat useful: http://www.cs.utah.edu/~coop/research/

Testing again.

This is a test message.