dot paper is uncommon in the US (where he lives), rather quadrille is the norm. The opposite is true in Germany.
In PL academia (including in the US) many people prefer dot paper for physical research notebooks. When you're mixing together diagrams, prose, inference rules, semantics, code, etc. it's a quite nice and flexible medium.