I am a final year PhD student in Computer Science at Brown University working with Malte Schwarzkopf.
My current research focuses on making it easier for users to understand their complex system deployments. I am also investigating how to make it easier for non-experts to safely extend an OS kernel using domain-specific languages.
I prefer to be outside and especially love all sorts of climbing.
email: franco_solleza [at] brown.edu
eBPF Query Language (BQL) (in-progress): Users can use BQL to issue SQL-like queries to an OS kernel. BQL executes the query using a combination of user-space operations and eBPF programs. Unlike other domain-specific language for eBPF, BQL guarantees that queries will always pass the verifier and run.
DSLs for eBPF (in-progress): One of eBPF’s key challenges is that users need to reason about the verifier. This is already a difficult task for experts so what about non-experts? While domain-specific languages (DSLs) make it easier to write eBPF programs, they are not a panacea because these DSLs can generate programs that fail the verifier. This project explores ways that a DSL can guarantee that the eBPF program it generates passes the verifier.
Loom (completed): Users can use Loom to capture and correlate various sources of high-frequency telemetry (HFT). Loom uses an efficient ingest path and lightweight indexing to keep up with high data-rates while providing interactive query response time on compelete HFT data.
Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf, Andrew Crotty, David Cohen, Nesime Tatbul, Stan Zdonik. 2025. Loom: Efficient Capture and Querying of High-Frequency Telemetry. In ACM Symposium on Operating Systems Principles (SOSP’25), Seoul, Korea. (To Appear)
@inproceedings{loom-sosp25,
author = {{Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf, Andrew Crotty, David Cohen, Nesime Tatbul, Stan Zdonik}},
title = {{Loom: Efficient Capture and Querying of High-Frequency Telemetry}},
booktitle = {{ACM Symposium on Operating Systems Principles (SOSP'25)}},
address = {Seoul, Korea},
month = {October},
year = {2025}
}Franco Solleza, Justus Adam, Akshay Narayan, Malte Schwarzkopf, Andrew Crotty, Nesime Tatbul. 2025. Kernel Extension DSLs Should Be Verifier-Safe! In 3rd ACM International Workshop on eBPF and Kernel Extensions (eBPF’25), Coimbra, Portugal.
@inproceedings{bql-ebpf25,
author = {{Franco Solleza, Justus Adam, Akshay Narayan, Malte Schwarzkopf, Andrew Crotty, Nesime Tatbul}},
title = {{Kernel Extension DSLs Should Be Verifier-Safe!}},
booktitle = {{3rd ACM International Workshop on eBPF and Kernel Extensions (eBPF'25)}},
address = {Coimbra, Portugal},
month = {September},
year = {2025}
}Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf , Nesime Tatbul, Andrew Crotty, David Cohen, Stan Zdonik . 2024. Mach: Firefighting Time-Critical Issues in Complex Systems Using High-Frequency Telemetry (Demonstration). The Proceedings of the VLDB Endowment (PVLDB) 17, 12 (August 2024).
@article{mach-vldb24,
author = {{Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf , Nesime Tatbul, Andrew Crotty, David Cohen, Stan Zdonik }},
title = {{Mach: Firefighting Time-Critical Issues in Complex Systems Using High-Frequency Telemetry}},
journal = {{The Proceedings of the VLDB Endowment (PVLDB)}},
volume = {17},
number = {12},
month = {August},
year = {2024}
}Franco Solleza, Andrew Crotty, Suman Karumuri, Nesime Tatbul, Stan Zdonik. 2022. Mach: A Pluggable Metrics Storage Engine for the Age of Observability. In Conference on Innovative Data Systems Research (CIDR’22), Chaminade, CA, USA.
@inproceedings{mach-cidr22,
author = {{Franco Solleza, Andrew Crotty, Suman Karumuri, Nesime Tatbul, Stan Zdonik}},
title = {{Mach: A Pluggable Metrics Storage Engine for the Age of Observability}},
booktitle = {{Conference on Innovative Data Systems Research (CIDR'22)}},
address = {Chaminade, CA, USA},
month = {January},
year = {2022}
}Suman Karumuri, Franco Solleza, Stan Zdonik, Nesime Tatbul. 2021. Cloud Observability: A MELTing Pot for Petabytes of Heterogenous Time Series. In Conference on Innovative Data Systems Research (CIDR’21), Virtual Event.
@inproceedings{cloud-cidr21,
author = {{Suman Karumuri, Franco Solleza, Stan Zdonik, Nesime Tatbul}},
title = {{Cloud Observability: A MELTing Pot for Petabytes of Heterogenous Time Series}},
booktitle = {{Conference on Innovative Data Systems Research (CIDR'21)}},
address = {Virtual Event},
month = {January},
year = {2021}
}Suman Karumuri, Franco Solleza, Stan Zdonik, Nesime Tatbul. 2020. Towards Observability Data Management at Scale. ACM SIGMOD Record 49, 4 (December 2020).
@article{towards-sigrec20,
author = {{Suman Karumuri, Franco Solleza, Stan Zdonik, Nesime Tatbul}},
title = {{Towards Observability Data Management at Scale}},
journal = {{ACM SIGMOD Record}},
volume = {49},
number = {4},
month = {December},
year = {2020}
}Philip Eichmann, Franco Solleza, Nesime Tatbul, Stan Zdonik. 2019. Visual Exploration of Time Series Anomalies with Metro-Viz (Demonstration). In ACM SIGMOD International Conference on Management of Data (SIGMOD’19), Amsterdam, Netherlands. (Best Demonstration Award)
@inproceedings{metroviz-sigmod19,
author = {{Philip Eichmann, Franco Solleza, Nesime Tatbul, Stan Zdonik}},
title = {{Visual Exploration of Time Series Anomalies with Metro-Viz}},
booktitle = {{ACM SIGMOD International Conference on Management of Data (SIGMOD'19)}},
address = {Amsterdam, Netherlands},
month = {June},
year = {2019}
}Philip Eichmann, Franco Solleza, Junjay Tan, Nesime Tatbul, Stan Zdonik. 2019. Metro-Viz: Black-Box Analysis of Time Series Anomaly Detectors. In ACM CHI Conference on Human Factors in Computing Systems (CHI’19), Glasgow, UK.
@inproceedings{metroviz-chi19,
author = {{Philip Eichmann, Franco Solleza, Junjay Tan, Nesime Tatbul, Stan Zdonik}},
title = {{Metro-Viz: Black-Box Analysis of Time Series Anomaly Detectors}},
booktitle = {{ACM CHI Conference on Human Factors in Computing Systems (CHI'19)}},
address = {Glasgow, UK},
month = {May},
year = {2019}
}Spring 2025: CSCI 1675: Designing High-Performance Network Systems(Co-instructor)
Spring 2019: CSCI 2270: Topics in Database Management (Graduate TA)
Fall 2019: CSCI 1270: Introduction to Database Management (Graduate TA)