I recently watched Paths of Glory (WW1 film with Kirk Douglas, one of Kubrick's earlier films) and eventually spotted him. He's in a couple of Kubrick's movies.
He does a damn fine job in The Shining. That one performance is memorable over four decades later.