LLM-shark – A Tool for Automatic Resource-boundness Analysis and Cache Partitioning Setup | IEEE Conference Publication | IEEE Xplore