TY  - RPRT
TI  - Inference of Resource Management Specifications
AU  - Narges Shadab
AU  - Pritam Gharat
AU  - Shrey Tiwari
AU  - Michael D. Ernst
AU  - Martin Kellogg
AU  - Shuvendu Lahiri
AU  - Akash Lal
AU  - Manu Sridharan
PY  - 2023
UR  - https://arxiv.org/abs/2306.11953
ID  - 2306.11953
ER  -