Safe Compilation for Hidden Deterministic Hardware Aliasing

Peter T. Breuer, Jonathan P. Bowen. Safe Compilation for Hidden Deterministic Hardware Aliasing. In Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro, editors, IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. pages 422-427, IEEE, 2019. [doi]

@inproceedings{BreuerB19-0,
  title = {Safe Compilation for Hidden Deterministic Hardware Aliasing},
  author = {Peter T. Breuer and Jonathan P. Bowen},
  year = {2019},
  doi = {10.1109/ISSREW.2019.00105},
  url = {https://doi.org/10.1109/ISSREW.2019.00105},
  researchr = {https://researchr.org/publication/BreuerB19-0},
  cites = {0},
  citedby = {0},
  pages = {422-427},
  booktitle = {IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019},
  editor = {Katinka Wolter and Ina Schieferdecker and Barbara Gallina and Michel Cukier and Roberto Natella and Naghmeh Ivaki and Nuno Laranjeiro},
  publisher = {IEEE},
  isbn = {978-1-7281-5138-0},
}