

Reto Achermann
Assistant Professor
Systopia Lab
Department of Computer Science
University of British Columbia
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} }