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

32 Vassar Street, 32-G730
Cambridge, MA 02139
USA

Phone: +1 (617) 253-7768

Email: [my first name] [at] csail.mit.edu

Reports

Robust Programs with Filtered Iterators
Jiasi Shen, Martin Rinard
In submission

Filtered Iterators for Safe and Robust Programs in RIFL
Jiasi Shen, Martin Rinard
MIT-CSAIL-TR-2015-036, December 2015
[Full text] [Slides for a three-minute talk]

RIFL: A Language with Filtered Iterators
Jiasi Shen
Master's Thesis, August 2015
[Full text]

Towards Rate-Distortion analysis of general source distributions: Property and principles
Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo
17th IEEE International Workshop on Multimedia Signal Processing (MMSP 2015)

Teaching

Teaching Assistant for 6.035 Computer Language Engineering, Spring 2016

Service

Artifact Evaluation Committee member for OOPSLA 2016
Artifact Evaluation Committee member for SLE 2016

Misc