Biblio

Export 9 results:
Filters: Author is Madanlal Musuvathi  [Clear All Filters]
2015
Mace J, Bodik P, Fonseca R, Musuvathi M.  2015.  Retro: Targeted Resource Management in Multi-tenant Distributed Systems. 12th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 15). :589--603.
2014
Kasikci B, Ball T, Candea G, Erickson J, Musuvathi M.  2014.  Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 {USENIX} Annual Technical Conference ({USENIX} {ATC} 14). :243--254.
Mace J, Bodik P, Fonseca R, Musuvathi M.  2014.  Towards General-Purpose Resource Management in Shared Cloud Services. 10th Workshop on Hot Topics in System Dependability (HotDep 14).
2010
Erickson J, Musuvathi M, Burckhardt S, Olynyk K.  2010.  Effective Data-Race Detection for the Kernel. 9th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 10).
2009
Kıcıman E, Livshits B, Musuvathi M.  2009.  FLUXO: A Simple Service Compiler. 12th Workshop on Hot Topics in Operating Systems (HotOS {XII}).
2008
Musuvathi M, Qadeer S, Ball T, Basler G, Nainar PArumuga, Neamtiu I.  2008.  Finding and Reproducing Heisenbugs in Concurrent Programs. 8th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 08).
2004
Musuvathi M, Engler DR.  2004.  Model Checking Large Network Protocol Implementations. First Symposium on Networked Systems Design and Implementation ({NSDI} 04).
Yang J, Twohey P, Engler D, Musuvathi M.  2004.  Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation ({OSDI} 04).
2002
Musuvathi M, Park DYW, Chou A, Engler DR, Dill DL.  2002.  CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation ({OSDI} 02).