Biblio

Export 4 results:
Filters: Author is Madan Musuvathi  [Clear All Filters]
2023
Shah A, Chidambaram V, Cowan M, Maleki S, Musuvathi M, Mytkowicz T, Nelson J, Saarikivi O, Singh R.  2023.  TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :593--612.
2018
Luo L, Nath S, Sivalingam LRavindrana, Musuvathi M, Ceze L.  2018.  Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :321--334.
2015
Croft J, Mahajan R, Caesar M, Musuvathi M.  2015.  Systematically Exploring the Behavior of Control Programs. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :165--176.
2013
Guo Z, McDirmid S, Yang M, Zhuang L, Zhang P, Luo Y, Bergan T, Musuvathi M, Zhang Z, Zhou L.  2013.  Failure Recovery: When the Cure Is Worse Than the Disease. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).