@misc{indiciaebe2273878f3c,
  title = {Separation Logic for Memory Conflict Detection in High-Level Synthesis},
  author = {Yeonseok Lee},
  year = {2026},
  url = {https://arxiv.org/abs/2607.07126},
  note = {Source identifier: 2607.07126}
}