Jonathan DiLorenzo

According to our database, Jonathan DiLorenzo authored at least 4 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2019

TxForest: A DSL for Concurrent Filestores.

Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2016

Incremental forest: a DSL for efficiently managing filestores.

Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2013

Automated repair of binary and assembly programs for cooperating embedded devices.

Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013