@INPROCEEDINGS{Huang2022,
  author={Huang, Zhen},
  booktitle={Proceedings of the 6th International Conference on System Reliability and Safety}, 
  title={{Runtime Recovery for Integer Overflows}}, 
  publisher={IEEE},
  month={November},
  year={2022},
  doi={10.1109/ICSRS56243.2022.10067783},
  volume={},
  number={},
  pages={324-330},
  }