Reto Achermann
Assistant Professor
Systems Research Group
TUM School of Computation, Information and Technology
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
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}
}
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


