Dan Williams
Orcid: 0000-0003-1537-0525Affiliations:
- Virginia Tech, Blacksburg, VA, USA
According to our database1,
Dan Williams
authored at least 44 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Storage, May, 2024
Proceedings of the 33rd USENIX Security Symposium, 2024
Proceedings of the 2024 USENIX Annual Technical Conference, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions, 2024
Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions, 2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
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.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
Proceedings of the Computer Security - ESORICS 2022, 2022
2020
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.
Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019
2018
Proceedings of the 10th USENIX Workshop on Hot Topics in Cloud Computing, 2018
2017
Multi-Hypervisor Virtual Machines: Enabling an Ecosystem of Hypervisor-level Services.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
2016
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.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016
2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
2014
Proceedings of the third workshop on Hot topics in software defined networking, 2014
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014
Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014
2013
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013
Proceedings of the Eighth Eurosys Conference 2013, 2013
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013
2012
Proceedings of the European Conference on Computer Systems, 2012
2011
Proceedings of the 7th International Conference on Virtual Execution Environments, 2011
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011
2008
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
2005
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.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004