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.

Contact

Rm 32-G730, 32 Vassar Street, Cambridge, MA 02139, USA
jiasi@csail.mit.edu   617-253-7768    LinkedIn   Blog

Photo

Publications

Inference and Regeneration of Programs that Store and Retrieve Data
Martin Rinard, Jiasi Shen, Varun Mangalick
Conditionally accepted to Onward! 2018
Robust Programs with Filtered Iterators (Distinguished Artifact Award)
Jiasi Shen, Martin Rinard
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017), Vancouver, Canada, October 2017
Artifact  Slides  Talk

Technical Reports and Short Papers

Inference and Regeneration of Programs that Manipulate Relational Databases
Jiasi Shen, Martin Rinard
Technical Report MIT-CSAIL-TR-2017-012, August 2017
Inference and Regeneration of Programs that Store and Retrieve Data
Martin Rinard, Jiasi Shen
Technical Report MIT-CSAIL-TR-2017-006, April 2017
Filtered Iterators for Safe and Robust Programs in RIFL
Jiasi Shen, Martin Rinard
Technical Report MIT-CSAIL-TR-2015-036, December 2015
RIFL: A Language with Filtered Iterators
Jiasi Shen
Master's Thesis, September 2015
Towards Rate-Distortion Analysis of General Source Distributions: Property and Principles
Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo
IEEE 17th International Workshop on Multimedia Signal Processing (MMSP 2015), Xiamen, China, October 2015

Experience

Artifact Evaluation Committee member, SLE 2016
Artifact Evaluation Committee member, OOPSLA 2016
Teaching Assistant, 6.035: Computer Language Engineering, Spring 2016