Hyeontaek Lim, Carnegie Mellon University