Dan Williams

According to our database, Dan Williams authored at least 44 papers between 2004 and 2024.

Collaborative distances:

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

2024

Introduction to the Special Section on USENIX ATC 2023.

Dan Williams, Julia Lawall

ACM Trans. Storage, May, 2024

SeaK: Rethinking the Design of a Secure Allocator for OS Kernel.

Zicheng Wang, Yicheng Guang, Yueqi Chen, Zhenpeng Lin, Michael V. Le, Dang K. Le, Dan Williams, Xinyu Xing, Zhongshu Gu, Hani Jamjoom

Proceedings of the 33rd USENIX Security Symposium, 2024

Fast (Trapless) Kernel Probes Everywhere.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust.

Ying Zhang, Peng Li, Yu Ding, Lingxiang Wang, Dan Williams, Na Meng

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

Eliminating eBPF Tracing Overhead on Untraced Processes.

Milo Craun, Khizar Hussain, Uddhav Gautam, Zhengjie Ji, Tanuj Rao, Dan Williams

Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions, 2024

Unsafe kernel extension composition via BPF program nesting.

Siddharth Chintamaneni, Sai Roop Somaraju, Dan Williams

Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions, 2024

SEVeriFast: Minimizing the root of trust for fast startup of SEV microVMs.

Benjamin Holmes, Jason Waterman, Dan Williams

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Programmable System Call Security with eBPF.

Jinghao Jia, YiFei Zhu, Dan Williams, Andrea Arcangeli, Claudio Canella, Hubertus Franke, Tobin Feldman-Fitzthum, Dimitrios Skarlatos, Daniel Gruss, Tianyin Xu

CoRR, 2023

Enabling BPF Runtime policies for better BPF management.

Raj Sahu, Dan Williams

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Practical and Flexible Kernel CFI Enforcement using eBPF.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Enabling eBPF on Embedded Systems Through Decoupled Verification.

Milo Craun, Adam Oswald, Dan Williams

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Kernel extension verification is untenable.

Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Protect the System Call, Protect (Most of) the World with BASTION.

Christopher Jelesnianski, Mohannad Ismail, Yeongjin Jang, Dan Williams, Changwoo Min

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Securing Container-based Clouds with Syscall-aware Scheduling.

Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

Verified programs can party: optimizing kernel extensions via post-verification merging.

Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams, Sibin Mohan, Tianyin Xu

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

KASLR in the age of MicroVMs.

Benjamin Holmes, Jason Waterman, Dan Williams

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

SecQuant: Quantifying Container System Call Exposure.

Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams

Proceedings of the Computer Security - ESORICS 2022, 2022

2020

A Linux in unikernel clothing.

Hsuan-Chi Kuo, Dan Williams, Ricardo Koller, Sibin Mohan

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

An Ounce of Prevention is Worth a Pound of Cure: Ahead-of-time Preparation for Safe High-level Container Interfaces.

Ricardo Koller, Dan Williams

Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019

2018

Say Goodbye to Virtualization for a Safer Cloud.

Dan Williams, Ricardo Koller, Brandon Lum

Proceedings of the 10th USENIX Workshop on Hot Topics in Cloud Computing, 2018

Unikernels as Processes.

Dan Williams, Ricardo Koller, Martin Lucina, Nikhil Prakash

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

Multi-Hypervisor Virtual Machines: Enabling an Ecosystem of Hypervisor-level Services.

Kartik Gopalan, Rohith Kugve, Hardik Bagdi, Yaohui Hu, Dan Williams, Nilton Bila

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Will Serverless End the Dominance of Linux in the Cloud?

Ricardo Koller, Dan Williams

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Enabling Efficient Hypervisor-as-a-Service Clouds with Eemeral Virtualization.

Dan Williams, Yaohui Hu, Umesh Deshpande, Piush K. Sinha, Nilton Bila, Kartik Gopalan, Hani Jamjoom

Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

Version Traveler: Fast and Memory-Efficient Version Switching in Graph Processing Systems.

Xiaoen Ju, Dan Williams, Hani Jamjoom, Kang G. Shin

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Unikernel Monitors: Extending Minimalism Outside of the Box.

Dan Williams, Ricardo Koller

Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

2015

Flux: multi-surface computing in Android.

Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

Don't call them middleboxes, call them middlepipes.

Hani Jamjoom, Dan Williams, Upendra Sharma

Proceedings of the third workshop on Hot topics in software defined networking, 2014

TideWatch: Fingerprinting the cyclicality of big data workloads.

Dan Williams, Shuai Zheng, Xiangliang Zhang, Hani Jamjoom

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Software Defining System Devices with the "Banana" Double-Split Driver Model.

Dan Williams, Hani Jamjoom, Hakim Weatherspoon

Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014

2013

Plug into the Supercloud.

Dan Williams, Hani Jamjoom, Hakim Weatherspoon

IEEE Internet Comput., 2013

Cementing high availability in openflow with RuleBricks.

Dan Williams, Hani Jamjoom

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Split/Merge: System Support for Elastic Execution in Virtual Middleboxes.

Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Escape Capsule: Explicit State Is Robust and Scalable.

Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

AIN: A Blueprint for an All-IP Data Center Network.

Vasileios Pappas, Hani Jamjoom, Dan Williams

Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013

Mizan: a system for dynamic load balancing in large-scale graph processing.

Zuhair Khayyat, Karim Awara, Amani AlOnazi, Hani Jamjoom, Dan Williams, Panos Kalnis

Proceedings of the Eighth Eurosys Conference 2013, 2013

Pico replication: a high availability framework for middleboxes.

Shriram Rajagopalan, Dan Williams, Hani Jamjoom

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

The Xen-Blanket: virtualize once, run everywhere.

Dan Williams, Hani Jamjoom, Hakim Weatherspoon

Proceedings of the European Conference on Computer Systems, 2012

2011

Overdriver: handling memory overload in an oversubscribed cloud.

Dan Williams, Hani Jamjoom, Yew-Huey Liu, Hakim Weatherspoon

Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Logical attestation: an authorization architecture for trustworthy computing.

Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Unshackle the Cloud!

Dan Williams, Eslam Elnikety, Mohamed Eldehiry, Hani Jamjoom, Hai Huang, Hakim Weatherspoon

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

2008

Device Driver Safety Through a Reference Validation Mechanism.

Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2005

Nexus: a new operating system for trustworthy computing.

Alan Shieh, Dan Williams, Emin Gün Sirer, Fred B. Schneider

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2004

Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash Trees.

Dan Williams, Emin Gün Sirer

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004