Registered user since Wed 20 Dec 2017
I’m a Ph.D. student at the University of Texas at Austin. I work with Prof. Milos Gligoric. My research interests focus on the fusion of software engineering, programming languages, and natural language processing. Specific topics include languages for writing executable contracts and executable comments, updating natural language elements for evolving software, and utilizing runtime context to improve ML models for software.
|ICSE 2021||Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning|
|Show activities from other conferences|
View general profile