@article{
  author={Thomas Häner and Matthias Troyer and Torsten Hoefler},
  title={{Assertion-based optimization of quantum programs}},
  journal={OOPSLA '20: Proceedings of the ACM international conference on Object oriented programming systems languages and applications},
  year={2020},
  month={Nov.},
  volume={},
  number={},
  publisher={ACM},
  note={},
}