Amit Vasudevan, Carnegie Mellon Software Engineering Institute