Dan Williams

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 22

Top Topics

Virtual Machine

Kernel Regression

High Availability

Top Venues

Publications

Jinghao Jia, YiFei Zhu, Dan Williams, Andrea Arcangeli, Claudio Canella, Hubertus Franke, Tobin Feldman-Fitzthum, Dimitrios Skarlatos, Daniel Gruss, Tianyin Xu
Programmable System Call Security with eBPF. CoRR (2023)
Milo Craun, Adam Oswald, Dan Williams
Enabling eBPF on Embedded Systems Through Decoupled Verification. eBPF@SIGCOMM (2023)
Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
Securing Container-based Clouds with Syscall-aware Scheduling. AsiaCCS (2023)
Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
Practical and Flexible Kernel CFI Enforcement using eBPF. eBPF@SIGCOMM (2023)
Raj Sahu, Dan Williams
Enabling BPF Runtime policies for better BPF management. eBPF@SIGCOMM (2023)
Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu
Kernel extension verification is untenable. HotOS (2023)
Christopher Jelesnianski, Mohannad Ismail, Yeongjin Jang, Dan Williams, Changwoo Min
Protect the System Call, Protect (Most of) the World with BASTION. ASPLOS (3) (2023)
Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams, Sibin Mohan, Tianyin Xu
Verified programs can party: optimizing kernel extensions via post-verification merging. EuroSys (2022)
Benjamin Holmes, Jason Waterman, Dan Williams
KASLR in the age of MicroVMs. EuroSys (2022)
Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams
SecQuant: Quantifying Container System Call Exposure. ESORICS (2) (2022)
Hsuan-Chi Kuo, Dan Williams, Ricardo Koller, Sibin Mohan
A Linux in unikernel clothing. EuroSys (2020)
Ricardo Koller, Dan Williams
An Ounce of Prevention is Worth a Pound of Cure: Ahead-of-time Preparation for Safe High-level Container Interfaces. HotStorage (2019)
Dan Williams, Ricardo Koller, Brandon Lum
Say Goodbye to Virtualization for a Safer Cloud. HotCloud (2018)
Dan Williams, Ricardo Koller, Martin Lucina, Nikhil Prakash
Unikernels as Processes. SoCC (2018)
Ricardo Koller, Dan Williams
Will Serverless End the Dominance of Linux in the Cloud? HotOS (2017)
Kartik Gopalan, Rohith Kugve, Hardik Bagdi, Yaohui Hu, Dan Williams, Nilton Bila
Multi-Hypervisor Virtual Machines: Enabling an Ecosystem of Hypervisor-level Services. USENIX Annual Technical Conference (2017)
Frank T. Hady, Annie P. Foong, Bryan Veal, Dan Williams
Platform Storage Performance With 3D XPoint Technology. Proc. IEEE 105 (9) (2017)
Dan Williams, Ricardo Koller
Unikernel Monitors: Extending Minimalism Outside of the Box. HotCloud (2016)
Dan Williams, Yaohui Hu, Umesh Deshpande, Piush K. Sinha, Nilton Bila, Kartik Gopalan, Hani Jamjoom
Enabling Efficient Hypervisor-as-a-Service Clouds with Eemeral Virtualization. VEE (2016)
Xiaoen Ju, Dan Williams, Hani Jamjoom, Kang G. Shin
Version Traveler: Fast and Memory-Efficient Version Switching in Graph Processing Systems. USENIX Annual Technical Conference (2016)
Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams
Flux: multi-surface computing in Android. EuroSys (2015)
Marielle Chabot, Camille Decoust, Casey Lambert, Philippe Rolland, Pierre Ledantec, Dan Williams
RADARSAT-2 system operations and performance. IGARSS (2015)
Dan Williams, Shuai Zheng, Xiangliang Zhang, Hani Jamjoom
TideWatch: Fingerprinting the cyclicality of big data workloads. INFOCOM (2014)
Hani Jamjoom, Dan Williams, Upendra Sharma
Don't call them middleboxes, call them middlepipes. HotSDN (2014)
Marielle Chabot, Camille Decoust, Pierre Ledantec, Dan Williams, Anthony Hillman, Philippe Rolland, Rene Periard
RADARSAT-2 system operations and performance. IGARSS (2014)
Dan Williams, Hani Jamjoom, Hakim Weatherspoon
Software Defining System Devices with the "Banana" Double-Split Driver Model. HotCloud (2014)
Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield
Split/Merge: System Support for Elastic Execution in Virtual Middleboxes. NSDI (2013)
Shriram Rajagopalan, Dan Williams, Hani Jamjoom
Pico replication: a high availability framework for middleboxes. SoCC (2013)
Vasileios Pappas, Hani Jamjoom, Dan Williams
AIN: A Blueprint for an All-IP Data Center Network. HotCloud (2013)
Zuhair Khayyat, Karim Awara, Amani Alonazi, Hani Jamjoom, Dan Williams, Panos Kalnis
Mizan: a system for dynamic load balancing in large-scale graph processing. EuroSys (2013)
Dan Williams, Hani Jamjoom, Hakim Weatherspoon
Plug into the Supercloud. IEEE Internet Comput. 17 (2) (2013)
Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield
Escape Capsule: Explicit State Is Robust and Scalable. HotOS (2013)
Dan Williams, Hani Jamjoom
Cementing high availability in openflow with RuleBricks. HotSDN (2013)
Dan Williams, Hani Jamjoom, Hakim Weatherspoon
The Xen-Blanket: virtualize once, run everywhere. EuroSys (2012)
Dan Williams, Eslam Elnikety, Mohamed Eldehiry, Hani Jamjoom, Hai Huang, Hakim Weatherspoon
Unshackle the Cloud! HotCloud (2011)
Dan Williams, Hani Jamjoom, Yew-Huey Liu, Hakim Weatherspoon
Overdriver: handling memory overload in an oversubscribed cloud. VEE (2011)
Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider
Logical attestation: an authorization architecture for trustworthy computing. SOSP (2011)
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
Device Driver Safety Through a Reference Validation Mechanism. OSDI (2008)
Dan Williams, Emin Gün Sirer
Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash Trees. NCA (2004)
Shen-En Qian, Allan Hollinger, Dan Williams, Davinder Manak
Vector quantization using spectral index-based multiple subcodebooks for hyperspectral data compression. IEEE Trans. Geosci. Remote. Sens. 38 (3) (2000)
Dan Williams, Luc Bauwens
Simulation of Compressible Flow on a Massively Parallel Architecture. Sci. Program. 4 (3) (1995)
Dan Williams, Luc Bauwens
Porting and Optimization of a Finite-Difference CFD Code on a Massively Parallel Architecture. EUROSIM (1994)