Jonathan DiLorenzo

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 4

Top Topics

Mutual Exclusion

Concurrent Execution

Home Appliances

Embedded Devices

Top Venues

Publications

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
SwitchV: automated SDN switch validation with P4 models. SIGCOMM (2022)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. CoRR (2019)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. APLAS (2019)
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
Incremental forest: a DSL for efficiently managing filestores. OOPSLA (2016)
Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest
Automated repair of binary and assembly programs for cooperating embedded devices. ASPLOS (2013)