Contributors, past and present (in alphabetical order)

Herwig Egghart
Wim Feijen
Rustan Leino
Eric Macaulay
Apurva Mehta
Srinivas Nayak
Tom Verhoeff
Jeremy Weissmann