USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Andrea Lattuada [Clear All Filters]
Anvil: Verifying Liveness of Cluster Management Controllers. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :649--666.
.
2024. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
.
2023. Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
.
2020. SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :95--110.
.
2018.