@misc{indiciaebbddbf599695,
  title = {Inference of Resource Management Specifications},
  author = {Narges Shadab and Pritam Gharat and Shrey Tiwari and Michael D. Ernst and Martin Kellogg and Shuvendu Lahiri and Akash Lal and Manu Sridharan},
  year = {2023},
  url = {https://arxiv.org/abs/2306.11953},
  note = {Source identifier: 2306.11953}
}