Jiasi Shen

Technical Reports

Characterizing Developer Use of Automatically Generated Patches
José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena Glassman, Martin Rinard
Technical Report, July 2019
Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases
Jiasi Shen, Martin Rinard
Technical Report, September 2018
Using Active Learning to Synthesize Models of Applications That Access Databases
Jiasi Shen, Martin Rinard
Technical Report, August 2018
Inference and Regeneration of Programs that Manipulate Relational Databases
Jiasi Shen, Martin Rinard
Technical Report, August 2017
Inference and Regeneration of Programs that Store and Retrieve Data
Martin Rinard, Jiasi Shen
Technical Report, April 2017
Filtered Iterators for Safe and Robust Programs in RIFL
Jiasi Shen, Martin Rinard.
Technical Report, December 2015
RIFL: A Language with Filtered Iterators
Jiasi Shen
Master's Thesis, September 2015