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).