Conference Papers

  1. Jia, J., Qin, R., Craun, M., Lukiyanov, E., Bansal, A., Phan, M., Le, M. V., Franke, H., Jamjoom, H., Xu, T., & Williams, D. (2025, July). Rex: Closing the language-verifier gap with safe and usable kernel extensions. 2025 USENIX Annual Technical Conference (USENIX ATC 25). https://www.usenix.org/conference/atc25/presentation/jia
  2. Chintamaneni, S., Somaraju, S. R., & Williams, D. (2024). Unsafe kernel extension composition via BPF program nesting. Proceedings of the ACM SIGCOMM 2024 Workshop on EBPF and Kernel Extensions, 65–67. https://doi.org/10.1145/3672197.3673440
  3. Craun, M., Hussain, K., Gautam, U., Ji, Z., Rao, T., & Williams, D. (2024). Eliminating eBPF Tracing Overhead on Untraced Processes. Proceedings of the ACM SIGCOMM 2024 Workshop on EBPF and Kernel Extensions, 16–22. https://doi.org/10.1145/3672197.3673431
  4. Jia, J., Sahu, R., Oswald, A., Williams, D., Le, M. V., & Xu, T. (2023). Kernel Extension Verification is Untenable. Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 150–157. https://doi.org/10.1145/3593856.3595892
  5. Craun, M., Oswald, A., & Williams, D. (2023). Enabling eBPF on Embedded Devices Through Decoupled Verification. Proceedings of ACM SIGCOMM Workshop on EBPF and Kernel Extensions (EBPF ’23). https://doi.org/10.1145/3609021.3609299
  6. Sahu, R., & Williams, D. (2023). Enabling BPF Runtime policies for better BPF management. Proceedings of ACM SIGCOMM Workshop on EBPF and Kernel Extensions (EBPF ’23). https://doi.org/10.1145/3609021.3609296

Refereed journal articles

    Preprints