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. My research interests are in programming languages and software engineering.
The Soundness of Active Learning for Synthesis of Applications That Access Databases
Submitted in May 2019
Using Active Learning to Synthesize Models of Applications That Access Databases
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Active Learning for Inference and Regeneration of Computer Programs that Store and Retrieve Data
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Robust Programs with Filtered Iterators
Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering
Distinguished Artifact Award
Technical reports and short papers...
- Artifact Evaluation Committee member, SAS 2019
- Artifact Evaluation Committee member, SLE 2016
- Artifact Evaluation Committee member, OOPSLA 2016
- Teaching Assistant, 6.035: Computer Language Engineering, Spring 2016