The University of Texas at Dallas
I am a fifth year Ph.D. student at the University of Texas at Dallas. My research focuses on improving the usability and reliability of configurable static analysis tools. I have worked on developing approaches to formalize the configuration spaces of static analyzers, and then use this formalization for automatic testing and debugging. I have also explored the applications of machine learning to static analysis, specifically in detecting false positive bug reports and automatically configuring a tool for a given input.
In my free time, I love to play video games, knit, watch movies, and hang out with my cat, Ace.