bql workshop paper

Author: akshayknarayan

_bibliography/papers.bib

@@ -2058,3 +2058,11 @@ @inproceedings{archie-hotnets
   year = {2024},
   booktitle = {HotNets},
 }
+
+@inproceedings{bql-hotnets, 
+    title = {{ Kernel Extension DSLs Should Be Verifier-Safe! }},
+    author = { Franco Solleza and Justus Adam and Akshay Narayan and Malte Schwarzkopf and Andrew Crotty and Nesime Tatbul }, 
+    year = { 2025 }, 
+    booktitle = { eBPF }, 
+    doi = { 10.1145/3748355.3748368 }, 
+}