@inproceedings {demeter:sosp11,
        author = {Huayang Guo and Ming Wu and Lidong Zhou and Gang Hu and Junfeng Yang and Lintao Zhang},
        title = {Practical Software Model Checking via Dynamic Interface Reduction},
        year = {2011},
        month = {October},
        booktitle = {Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP '11)},
}