USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 10 results:
Filters: Author is Madanlal Musuvathi [Clear All Filters]
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :127--141.
.
2022. Retro: Targeted Resource Management in Multi-tenant Distributed Systems. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :589--603.
.
2015. Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :243--254.
.
2014. Towards General-Purpose Resource Management in Shared Cloud Services. 10th Workshop on Hot Topics in System Dependability (HotDep 14).
.
2014. Effective Data-Race Detection for the Kernel. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. FLUXO: A Simple Service Compiler. 12th Workshop on Hot Topics in Operating Systems (HotOS XII).
.
2009. Finding and Reproducing Heisenbugs in Concurrent Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. Model Checking Large Network Protocol Implementations. First Symposium on Networked Systems Design and Implementation (NSDI 04).
.
2004. Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004. CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
.
2002.