@misc{indiciae8fa5d8f6bc49,
  title = {Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts},
  author = {Yussur Mustafa Oraji and Christian Bischof},
  year = {2026},
  url = {https://arxiv.org/abs/2607.29303},
  note = {Source identifier: 2607.29303}
}