@inproceedings {morpheus:asplos20,
        author = {Xinhao Yuan and Junfeng Yang},
        title = {Effective Concurrency Testing for Distributed Systems},
        year = {2020},
        booktitle = {25th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '20)},
}