@misc{indiciaefd1d841ac937,
  title = {Automating System Configuration},
  author = {Nestan Tsiskaridze and Maxwell Strange and Makai Mann and Kavya Sreedhar and Qiaoyi Liu and Mark Horowitz and Clark Barrett},
  year = {2021},
  url = {https://arxiv.org/abs/2108.05987},
  note = {Source identifier: 2108.05987}
}