.


    Home    

SAMC

If you are interested in the code, please email Tanakorn Leesatapornwongsa (tanakorn@cs.uchicago.edu). We will send the download link to you.

Paper and Citation

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems [OSDI '14]
Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi

SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems [ISSTA '15]
Tanakorn Leesatapornwongsa, Haryadi S. Gunawi

If our tool is useful for your research, we would appreciate if you cite our SAMC paper above. Here is the bib entry:

@InProceedings{Leesatapornwongsa+14-Samc, 
     Author = {Tanakorn Leesatapornwongsa and Mingzhe Hao and Pallavi Joshi 
               and Jeffrey F. Lukman and Haryadi S. Gunawi},
      Title = "{SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems}",
  Booktitle =  {Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation (OSDI)},
    Address =  {Broomfield, CO},
      Month =  {October},
       Year =  {2014}
}