The goal of my research is to make computer systems reliable and secure. My mission is to help today's systems defend against all kinds of errors and defects, such as software bugs, configuration errors, and design flaws. I am proud that some of my research helps improve real software systems. See the list of issues I helped.
As a systems guy, I am interested in various inter-disciplinary black magic, e.g., program analysis, machine learning, and NLP. My view of systems research is to build the right swords to kill the dragon (not windmills!).