yeah those are brushes. you can also create your own brush. I think for his either he created his own or he used one of the brush and just repeat it all over the image, that's how you got the effect.