Velosiraptor: Code Synthesis for Memory Translation

Authors

Reto Achermann, Em Chu, Ryan Mehri, Ilias Karimalis and Margo Seltzer

Venue

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS '25)

Links

[ .doi ] [ .pdf ] [ .bib ]

Abstract

Bibtex

@inproceedings{Achermann:2025:Velosiraptor,
 address = {New York, NY, USA},
 author = {Achermann, Reto and Chu, Em and Mehri, Ryan and Karimalis, Ilias and Seltzer, Margo},
 booktitle = {Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2},
 doi = {10.1145/3676641.3711998},
 id = {Achermann:2025:Velosiraptor},
 isbn = {9798400710797},
 keywords = {address translation, software synthesis, virtual memory},
 location = {Rotterdam, Netherlands},
 numpages = {17},
 pages = {1365–1381},
 publisher = {Association for Computing Machinery},
 series = {ASPLOS '25},
 title = {Velosiraptor: Code Synthesis for Memory Translation},
 url = {https://doi.org/10.1145/3676641.3711998},
 year = {2025}
}

Contact

The University of British Columbia
Department of Computer Science
2366 Main Mall
ICICS Building, Office 341
Vancouver, BC V6T 1Z4
Canada

achreto [at] cs.ubc.ca
+1 604 827 2446