Dawn Song, Carnegie Mellon University