Millen, David R., IBM Research, United States