My computer science research career started during my college internship at Bell Laboratories in Murray Hill, New Jersey, during the early 1970s in the center that later produced UNIX and the portable C compiler. This experience taught me that computing was broader than the introduction to scientific programming in my undergraduate studies in applied math. (There was no computer science undergraduate major at the time.) For most of my career, I was interested in deriving descriptions of program execution behaviors from code in order, for example, to optimize program time and/or memory performance, to validate desirable properties such as correctness or data security, or to refactor code for ease of maintenance.

As a researcher, I am fascinated by the challenge of advancing the high-level foundations of computer software (programming models, compilers, and runtimes) to productively exploit the latest advances in computing systems. While there has been a long tradition of research in this area since the dawn of computing, the rapid evolution of hardware has continuously fueled a need for new software technologies as old approaches quickly become obsolete. Current explorations of new hardware directions that go beyond Moore’s law have further amplified the motivation for this research direction.