Dan Williams

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

Collaborative distances:

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

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

Platform Storage Performance With 3D XPoint Technology.

Frank T. Hady, Annie P. Foong, Bryan Veal, Dan Williams

Proc. IEEE, 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

RADARSAT-2 system operations and performance.

Marielle Chabot, Camille Decoust, Casey Lambert, Philippe Rolland, Pierre Ledantec, Dan Williams

Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 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

RADARSAT-2 system operations and performance.

Marielle Chabot, Camille Decoust, Pierre Ledantec, Dan Williams, Anthony Hillman, Philippe Rolland, Rene Periard

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 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

Towards Superclouds.

Dan Williams

PhD thesis, 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

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

2000

Vector quantization using spectral index-based multiple subcodebooks for hyperspectral data compression.

Shen-En Qian, Allan Hollinger, Dan Williams, Davinder Manak

IEEE Trans. Geosci. Remote. Sens., 2000

1995

Simulation of Compressible Flow on a Massively Parallel Architecture.

Dan Williams, Luc Bauwens

Sci. Program., 1995

1994

Porting and Optimization of a Finite-Difference CFD Code on a Massively Parallel Architecture.

Dan Williams, Luc Bauwens

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994