David L. Kaminsky, IBM