RE: Glasgow mafia meeting at PLDI