Biography
Hello, My name is Matthew Davis. I am a first year Ph.D. Student at Georgia Tech working under the advisorship of Dr. Vivek Sarkar as a part of the Habanero Extreme Scale Software Research Laboratory.
I am interested in Program Analysis & Repair, High Performance Computing, and Compiler-Based Optimization & Bug Detection. In particular, I have been working on Hybrid Program Analysis to increase the efficiency and correctness of program analysis by combining the strengths of static and dynamic analysis.
matthew.davis@cc.gatech.edu | |
Phone | (713) 806-0852 |
Office | 2319 KACB |