Jiasi Shen

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
  • Paper Slides
Robust Programs with Filtered Iterators
  • Jiasi Shen, Martin Rinard
  • Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering (SLE'17), October 2017, Vancouver, Canada
  • Paper Artifact Talk Slides
    Distinguished Artifact Award

Technical reports and short papers...