Jiasi Shen

Photo

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.

Publications

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
Jiasi Shen, Martin Rinard
PLDI 2019: 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
Martin Rinard, Jiasi Shen, Varun Mangalick
Onward! 2018: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Robust Programs with Filtered Iterators
Jiasi Shen, Martin Rinard
SLE 2017: Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering
Distinguished Artifact Award

Technical reports and short papers...

Experience

  • 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