@inproceedings{hu-usenix-2020,
  author = {Hu, Yigong and Huang, Gongqi and Huang, Peng},
  booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)},
  date-added = {2020-11-16 00:30:50 -0800},
  date-modified = {2020-11-16 00:30:58 -0800},
  isbn = {978-1-939133-19-9},
  month = nov,
  pages = {719--734},
  publisher = {{USENIX} Association},
  title = {Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution},
  url = {https://www.usenix.org/conference/osdi20/presentation/hu},
  year = {2020},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAbcGFwZXJzL2h1LXVzZW5peC0yMDIwLWEucGRmTxEBdgAAAAABdgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////FGh1LXVzZW5peC0yMDIwLWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA6LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczpodS11c2VuaXgtMjAyMC1hLnBkZgAOACoAFABoAHUALQB1AHMAZQBuAGkAeAAtADIAMAAyADAALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA4VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvaHUtdXNlbml4LTIwMjAtYS5wZGYAEwABLwAAFQACAA///wAAAAgADQAaACQAQgAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAG8},
  bdsk-url-1 = {https://www.usenix.org/conference/osdi20/presentation/hu}
}