reformat for USENIX, with space-saving headings from sigmin