Gerd Zellweger
Orcid: 0000-0002-1197-595XAffiliations:
- VMware Research
According to our database1,
Gerd Zellweger
authored at least 17 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
ACM SIGOPS Oper. Syst. Rev., 2023
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023
2022
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022
Proceedings of the HotStorage '22: 14th ACM Workshop on Hot Topics in Storage and File Systems, Virtual Event, June 27, 2022
2021
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021
2020
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020
2019
2016
Proceedings of the 12th International Workshop on Data Management on New Hardware, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016
2015
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
2014
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
2012
Proceedings of the Asia-Pacific Workshop on Systems, 2012