Jonathan DiLorenzo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCOMM | 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 |
| 2019 | APLAS | TxForest: A DSL for Concurrent Filestores. | Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
| 2016 | OOPSLA | Incremental forest: a DSL for efficiently managing filestores. | Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster |
| 2013 | ASPLOS | Automated repair of binary and assembly programs for cooperating embedded devices. | Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest |