Scholar
Anirudh Khatry
Google Scholar ID: vE2VuVwAAAAJ
PhD Student, University of Texas at Austin
Citations & Impact
Citations
36
H-index
3
i10-index
1
Publications
8
Co-authors
29
list available
Publications
Resume (English only)
Academic Achievements
- Publications: CRUST-bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation, COLM'25 (Spotlight); An Empirical Study of Validating Synthetic Data for Formula Generation, NAACL-Findings'25; Semantically Aligned Question and Code Generation for Automated Insight Generation (Best Paper), LLM4Code, ICSE ‘24, etc.
Research Experience
- Pre-doctoral Research Fellow at Microsoft, Aug 2022 – Jun 2024, Redmond, WA. Conceptualized and built the natural language to code feature for the Power Query M language, used for wrangling tables in Excel and Fabric.
Education
- Ph.D. in Computer Science, started 2024, University of Texas at Austin; B.Tech. in Information Technology, 2017-2021, Veermata Jijabai Technological Institute, India.
Background
- PhD student in the Department of Computer Science at the University of Texas at Austin, advised by Prof. Işıl Dillig and Prof. Greg Durrett. Works on secure code transpilation using neurosymbolic techniques. Previously, a Pre-doctoral Research Fellow at Microsoft, working with the PROSE (Program Synthesis) team on the Copilot experience for data wrangling in Fabric. Received bachelor’s degree in Information Technology from Veermata Jijabai Technological Institute, Mumbai, India.
Miscellany
- Outside of work, enjoys running, playing the guitar, and listening to songs.
