@article{mswasm,
title={Mswasm: Soundly enforcing memory-safe execution of unsafe code},
author={Michael, Alexandra E and Gollamudi, Anitha and Bosamiya, Jay and Johnson, Evan and Denlinger, Aidan and Disselkoen, Craig and Watt, Conrad and Parno, Bryan and Patrignani, Marco and Vassena, Marco and others},
journal={Proceedings of the ACM on Programming Languages},
volume={7},
number={POPL},
pages={425--454},
year={2023},
publisher={ACM New York, NY, USA}
}