Description: research
I work on automatic code evolution. We transform our code to make it faster, more scalable, and easier to read. But we do these transformations mostly manually, using tools that still understand little about our intents. This is tedious and error-prone. But automating anything beyond trivial (e.g., rename) transformations is hard because the computer needs to understand the high-level semantics of the current code and of the end goal, and have a sound and efficient way of transforming the code towards satis
My approach to automating code evolution is based on:
I completed my Ph.D. in Computer Science at University of Illinois at Urbana-Champaign , working with Prof. Grigore Rosu on program transformation using rewriting . See my CV .