@inproceedings {280880,
	author = {Utsav Sethi and Haochen Pan and Shan Lu and Madanlal Musuvathi and Suman Nath},
	title = {Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {127--141},
	url = {https://www.usenix.org/conference/osdi22/presentation/sethi},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {188952,
	author = {Jonathan Mace and Peter Bodik and Rodrigo Fonseca and Madanlal Musuvathi},
	title = {Retro: Targeted Resource Management in Multi-tenant Distributed Systems},
	booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)},
	year = {2015},
	isbn = {978-1-931971-218},
	address = {Oakland, CA},
	pages = {589--603},
	url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/mace},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {183967,
	author = {Baris Kasikci and Thomas Ball and George Candea and John Erickson and Madanlal Musuvathi},
	title = {Efficient Tracing of Cold Code via {Bias-Free} Sampling},
	booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
	year = {2014},
	isbn = {978-1-931971-10-2},
	address = {Philadelphia, PA},
	pages = {243--254},
	url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {187162,
	author = {Jonathan Mace and Peter Bodik and Rodrigo Fonseca and Madanlal Musuvathi},
	title = {Towards {General-Purpose} Resource Management in Shared Cloud Services},
	booktitle = {10th Workshop on Hot Topics in System Dependability (HotDep 14)},
	year = {2014},
	address = {Broomfield, CO},
	url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/mace},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {267142,
	author = {John Erickson and Madanlal Musuvathi and Sebastian Burckhardt and Kirk Olynyk},
	title = {Effective {Data-Race} Detection for the Kernel},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/effective-data-race-detection-kernel},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {267722,
	author = {Emre K{\i}c{\i}man and Benjamin Livshits and Madanlal Musuvathi},
	title = {{FLUXO}: A Simple Service Compiler},
	booktitle = {12th Workshop on Hot Topics in Operating Systems (HotOS XII)},
	year = {2009},
	address = {Monte Verit{\`a}, Switzerland},
	url = {https://www.usenix.org/conference/hotos-xii/fluxo-simple-service-compiler},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267924,
	author = {Madanlal Musuvathi and Shaz Qadeer and Thomas Ball and Gerard Basler and Piramanayagam Arumuga Nainar and Iulian Neamtiu},
	title = {Finding and Reproducing Heisenbugs in Concurrent Programs},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/finding-and-reproducing-heisenbugs-concurrent-programs},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {270034,
	author = {Madanlal Musuvathi and Dawson R. Engler},
	title = {Model Checking Large Network Protocol Implementations},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/model-checking-large-network-protocol-implementations},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {269480,
	author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
	title = {Using Model Checking to Find Serious File System Errors},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/using-model-checking-find-serious-file-system-errors},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {270449,
	author = {Madanlal Musuvathi and David Y.W. Park and Andy Chou and Dawson R. Engler and David L. Dill},
	title = {{CMC}: A Pragmatic Approach to Model Checking Real Code},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/cmc-pragmatic-approach-model-checking-real-code},
	publisher = {USENIX Association},
	month = dec
}
