USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Pallavi Joshi [Clear All Filters]
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :399--414.
.
2014. FATE and DESTINI: A Framework for Cloud Recovery Testing. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11).
.
2011. Towards Automatically Checking Thousands of Failures with Micro-specifications. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
.
2010.