How to distinguish Grace Hopper from Usenix: #ghc11