I agree it would be great if there was a good HTML template the IEEE or ACM used. Even using Latex you spend ages making it look exactly the way you want and don't want to upload a dodgy HTML version.
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.