David Brumley, Carnegie Mellon University