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.


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



Inference and Regeneration of Programs that Store and Retrieve Data
Martin Rinard, Jiasi Shen
Technical Report (MIT-CSAIL-TR-2017-006), 2017
pdf  uri
Filtered Iterators for Safe and Robust Programs in RIFL
Jiasi Shen, Martin Rinard
Technical Report (MIT-CSAIL-TR-2015-036), 2015
pdf  uri  slides
RIFL: A Language with Filtered Iterators
Jiasi Shen
Master's Thesis, 2015
Towards Rate-Distortion Analysis of General Source Distributions: Property and Principles
Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo
MMSP 2015


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