@inproceedings{kalidindi2026tractable,
  title={Towards Tractable Hardware Model Validation Against Real Hardware},
  author={Kalidindi, Rishika Varma and Achermann, Reto},
  booktitle={Proceedings of the 14th Workshop on Programming Languages and Operating Systems},
  pages={1--9},
  year={2026},
  doi={10.1145/3831586.3838143}
}