David G. Andersen, Carnegie Mellon University