@inproceedings {285084,
	author = {Aashaka Shah and Vijay Chidambaram and Meghan Cowan and Saeed Maleki and Madan Musuvathi and Todd Mytkowicz and Jacob Nelson and Olli Saarikivi and Rachee Singh},
	title = {{TACCL}: Guiding Collective Algorithm Synthesis using Communication Sketches},
	booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
	year = {2023},
	isbn = {978-1-939133-33-5},
	address = {Boston, MA},
	pages = {593--612},
	url = {https://www.usenix.org/conference/nsdi23/presentation/shah},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {216023,
	author = {Liang Luo and Suman Nath and Lenin Ravindranath Sivalingam and Madan Musuvathi and Luis Ceze},
	title = {Troubleshooting {Transiently-Recurring} Errors in Production Systems with {Blame-Proportional} Logging},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Boston, MA},
	pages = {321--334},
	url = {https://www.usenix.org/conference/atc18/presentation/luo},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {190480,
	author = {Jason Croft and Ratul Mahajan and Matthew Caesar and Madan Musuvathi},
	title = {Systematically Exploring the Behavior of Control Programs},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {165--176},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/croft},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {181943,
	author = {Zhenyu Guo and Sean McDirmid and Mao Yang and Li Zhuang and Pu Zhang and Yingwei Luo and Tom Bergan and Madan Musuvathi and Zheng Zhang and Lidong Zhou},
	title = {Failure Recovery: When the Cure Is Worse Than the Disease},
	booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)},
	year = {2013},
	address = {Santa Ana Pueblo, NM},
	url = {https://www.usenix.org/conference/hotos13/session/guo},
	publisher = {USENIX Association},
	month = may
}
