Watchers
- AlasdairCambridge University
- bacam
- bauereiss
- Calin-Teodorescu
- cp526
- eemailme
- fshaked
- jevinskieLafayette, Indiana
- jhcloos
- k4rtikUChicago CS
- mpwassellCambridge, UK
- PeterSewellUniversity of Cambridge
- pqwy
- pthariensflameModesto, CA, USA
- ric-almeidaLFCS - University of Edinburgh
- rmn30Microsoft Research
- rprimus
- stephenrkellCambridge / London, United Kingdom
- susmitsarkar
- talsewellCambridge University
- thtuerkBrechen, Germany
- victorgomesGoogle