@inproceedings{michael:2023:mswasm,
  author    = {Alexandra E. Michael and Anitha Gollamudi and Jay Bosamiya and Evan Johnson and Aidan Denlinger and Craig Disselkoen and Conrad Watt and Bryan Parno and Marco Patrignani and Marco Vassena and Deian Stefan},
  title     = {{MSWasm}: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
  booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  month     = {January},
  year      = {2023},
  publisher = {ACM}
}