Matthew Davis is a 4th-year Ph.D. student in the School of Computer Science at Georgia Tech, advised by Vijay Ganesh. Matthew’s research interests lie in applying program analysis and compiler techniques to LLM-based program translation and generation. His work develops infrastructure and tooling to ensure that developers can translate complex code to portable and modern programming models while maintaining correctness.