@misc{indiciaef479e493f8bf,
  title = {SHARP: Shared State Reduction for Efficient Matching of Sequential Patterns},
  author = {Cong Yu and Tuo Shi and Matthias Weidlich and Bo Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04872},
  note = {Source identifier: 2507.04872}
}