[mbafk]

I guess they just uploaded the final version they published in EuroSys 2011. Like all ACM conferences I know about, PDF is the way it is done. They would have to reformat for HTML.