Incremental forest: a DSL for efficiently managing filestores. - Jonathan DiLorenzo; Richard Zhang 004; Erin Menzies; Kathleen Fisher; Nate Foster (OOPSLA, 2016)

Syntax-guided synthesis of Datalog programs. - Xujie Si; Woosuk Lee; Richard Zhang 004; Aws Albarghouthi; Paraschos Koutris; Mayur Naik (ESEC/SIGSOFT FSE, 2018)