Automated repair of binary and assembly programs for cooperating embedded devices. - Eric M. Schulte; Jonathan DiLorenzo; Westley Weimer; Stephanie Forrest (ASPLOS, 2013)

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

TxForest: A DSL for Concurrent Filestores. - Jonathan DiLorenzo; Katie Mancini; Kathleen Fisher; Nate Foster (APLAS, 2019)

SwitchV: automated SDN switch validation with P4 models. - Kinan Dak Albab; Jonathan DiLorenzo; Stefan Heule; Ali Kheradmand; Steffen Smolka; Konstantin Weitz; Muhammad Timarzi; Jiaqi Gao; Minlan Yu (SIGCOMM, 2022)