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

Office: Raum 5607.01.044
E-Mail: firstname.lastname [at] tum.de

Impressum