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
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
pdf
Towards Rate-Distortion Analysis of General Source Distributions: Property and Principles
Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo
MMSP 2015

Experience

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