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

Prof. Reto Achermann
I01: Chair of Distributed Systems and Operating Systems (aka Systems Research Group)
1st Floor, 7th Finger
School of Computation, Information, and Technology (CIT)
Technical University of Munich (TUM)
Boltzmannstr. 3
85748 Garching bei München
Germany

firstname.lastname [at] cit.tum.de