I am an Assistant Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. The goal of my research is to enable the construction of ...