@inproceedings{VioletOSDI20,
  author = {Hu, Yigong and Huang, Gongqi and Huang, Peng},
  title = {Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution},
  booktitle = {Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation},
  series = {OSDI '20},
  month = {November},
  year = {2020},
  publisher = {USENIX},
}