I am a graduate student at MIT EECS and CSAIL advised by professor Martin Rinard. I received my bachelor's degree in Computer Science from Peking University, China. My research interests are in programming languages and software engineering.
Using Active Learning to Synthesize Models of Applications That Access Databases
To appear in PLDI 2019
Active Learning for Inference and Regeneration of Computer Programs that Store and Retrieve Data
Martin Rinard, Jiasi Shen, Varun Mangalick
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '18), November 2018, Boston, MA, USA