I don't know about Doc, but a mandolin player who plays at speeds unknown to me said he (when playing hi-speed single notes, not chords) just mutes all strings with his fingers, and selectively releases pressure on the strings he wants to hit.

Don't know about someone doing a lot of fretwork though. I'd imagine that's just a LOT of practice.

M