Dan Williams
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
16
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | Extending Applications Safely and Efficiently. | Yusheng Zheng, Tong Yu, Yiwei Yang, Yanpeng Hu, Xiaozheng Lai, Dan Williams, Andi Quinn |
| 2025 | USENIX | Rex: Closing the language-verifier gap with safe and usable kernel extensions. | Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Minh Phan, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, Dan Williams |
| 2024 | ASPLOS | SEVeriFast: Minimizing the root of trust for fast startup of SEV microVMs. | Benjamin Holmes, Jason Waterman, Dan Williams |
| 2024 | ICSE | Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust. | Ying Zhang, Peng Li, Yu Ding, Lingxiang Wang, Dan Williams, Na Meng |
| 2024 | USENIX | Fast (Trapless) Kernel Probes Everywhere. | Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu |
| 2023 | AsiaCCS | Securing Container-based Clouds with Syscall-aware Scheduling. | Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom |
| 2023 | ASPLOS | Protect the System Call, Protect (Most of) the World with BASTION. | Christopher Jelesnianski, Mohannad Ismail, Yeongjin Jang, Dan Williams, Changwoo Min |
| 2023 | HotOS | Kernel extension verification is untenable. | Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu |
| 2023 | SIGCOMM | Enabling eBPF on Embedded Systems Through Decoupled Verification. | Milo Craun, Adam Oswald, Dan Williams |
| 2023 | SIGCOMM | Practical and Flexible Kernel CFI Enforcement using eBPF. | Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom |
| 2023 | SIGCOMM | Enabling BPF Runtime policies for better BPF management. | Raj Sahu, Dan Williams |
| 2022 | ESORICS | SecQuant: Quantifying Container System Call Exposure. | Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams |
| 2022 | EuroSys | KASLR in the age of MicroVMs. | Benjamin Holmes, Jason Waterman, Dan Williams |
| 2022 | EuroSys | 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 |
| 2020 | EuroSys | A Linux in unikernel clothing. | Hsuan-Chi Kuo, Dan Williams, Ricardo Koller, Sibin Mohan |
| 2018 | CLOUD | Unikernels as Processes. | Dan Williams, Ricardo Koller, Martin Lucina, Nikhil Prakash |
| 2017 | HotOS | Will Serverless End the Dominance of Linux in the Cloud? | Ricardo Koller, Dan Williams |
| 2017 | USENIX | Multi-Hypervisor Virtual Machines: Enabling an Ecosystem of Hypervisor-level Services. | Kartik Gopalan, Rohith Kugve, Hardik Bagdi, Yaohui Hu, Dan Williams, Nilton Bila |
| 2016 | USENIX | Version Traveler: Fast and Memory-Efficient Version Switching in Graph Processing Systems. | Xiaoen Ju, Dan Williams, Hani Jamjoom, Kang G. Shin |
| 2016 | VEE | 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 |
| 2015 | EuroSys | Flux: multi-surface computing in Android. | Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams |
| 2015 | IGARSS | RADARSAT-2 system operations and performance. | Marielle Chabot, Camille Decoust, Casey Lambert, Philippe Rolland, Pierre Ledantec, Dan Williams |
| 2014 | INFOCOM | TideWatch: Fingerprinting the cyclicality of big data workloads. | Dan Williams, Shuai Zheng, Xiangliang Zhang, Hani Jamjoom |
| 2014 | IGARSS | RADARSAT-2 system operations and performance. | Marielle Chabot, Camille Decoust, Pierre Ledantec, Dan Williams, Anthony Hillman, Philippe Rolland, Rene Periard |
| 2014 | SIGCOMM | Don't call them middleboxes, call them middlepipes. | Hani Jamjoom, Dan Williams, Upendra Sharma |
| 2013 | CLOUD | Pico replication: a high availability framework for middleboxes. | Shriram Rajagopalan, Dan Williams, Hani Jamjoom |
| 2013 | EuroSys | Mizan: a system for dynamic load balancing in large-scale graph processing. | Zuhair Khayyat, Karim Awara, Amani AlOnazi, Hani Jamjoom, Dan Williams, Panos Kalnis |
| 2013 | HotOS | Escape Capsule: Explicit State Is Robust and Scalable. | Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield |
| 2013 | NSDI | Split/Merge: System Support for Elastic Execution in Virtual Middleboxes. | Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield |
| 2013 | SIGCOMM | Cementing high availability in openflow with RuleBricks. | Dan Williams, Hani Jamjoom |
| 2012 | EuroSys | The Xen-Blanket: virtualize once, run everywhere. | Dan Williams, Hani Jamjoom, Hakim Weatherspoon |
| 2011 | SOSP | Logical attestation: an authorization architecture for trustworthy computing. | Emin Gn Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider |
| 2011 | VEE | Overdriver: handling memory overload in an oversubscribed cloud. | Dan Williams, Hani Jamjoom, Yew-Huey Liu, Hakim Weatherspoon |
| 2008 | OSDI | Device Driver Safety Through a Reference Validation Mechanism. | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gn Sirer, Fred B. Schneider |
| 2005 | SOSP | Nexus: a new operating system for trustworthy computing. | Alan Shieh, Dan Williams, Emin Gn Sirer, Fred B. Schneider |
| 2004 | NCA | Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash Trees. | Dan Williams, Emin Gn Sirer |