@inproceedings{rsc,
  author={Patrignani, Marco  and  Garg, Deepak},
  title={{Robustly Safe Compilation}},
  booktitle = {Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019},
  pages     = {},
  year      = {2019},
  series = {ESOP'19},
}