@misc{lee2026fixedparametertractablelinearizability,
      title={Fixed Parameter Tractable Linearizability Monitoring for Stack, Queue and Anagram Agnostic Data Types}, 
      author={Lee Zheng Han and Umang Mathur},
      year={2025},
      eprint={2509.05586},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2509.05586}, 
}