BibTeX records: Ilias Karimalis

• > Home > Persons > Ilias Karimalis

@inproceedings{DBLP:conf/asplos/AchermannCMKS25,
  author       = {Reto Achermann and
                  Em Chu and
                  Ryan Mehri and
                  Ilias Karimalis and
                  Margo I. Seltzer},
  editor       = {Lieven Eeckhout and
                  Georgios Smaragdakis and
                  Katai Liang and
                  Adrian Sampson and
                  Martha A. Kim and
                  Christopher J. Rossbach},
  title        = {\emph{Velosiraptor}: Code Synthesis for Memory Translation},
  booktitle    = {Proceedings of the 30th {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, Volume 2,
                  {ASPLOS} 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025},
  pages        = {1365--1381},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3676641.3711998},
  doi          = {10.1145/3676641.3711998},
  timestamp    = {Thu, 01 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/AchermannCMKS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/AgrawalPSPKLMAS25,
  author       = {Sidhartha Agrawal and
                  Shaurya Patel and
                  Arya Stevinson and
                  Linh Pham and
                  Ilias Karimalis and
                  Hugo Lefeuvre and
                  Aastha Mehta and
                  Reto Achermann and
                  Margo I. Seltzer},
  title        = {Comparing Isolation Mechanisms with OSmosis},
  booktitle    = {Proceedings of the 13th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2025, Seoul, Republic of Korea, October 13-16, 2025},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3764860.3768325},
  doi          = {10.1145/3764860.3768325},
  timestamp    = {Wed, 15 Oct 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/AgrawalPSPKLMAS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{DBLP:data/11/AchermannCMKS25,
  author       = {Reto Achermann and
                  Emily Chu and
                  Ryan Mehri and
                  Ilias Karimalis and
                  Margo I. Seltzer},
  title        = {Velosiraptor: Code Synthesis for Memory Translation (Version 1)},
  publisher    = {Zenodo},
  year         = {2025},
  month        = jan,
  howpublished = {\url{https://doi.org/10.5281/zenodo.14752297}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.14752297},
  doi          = {10.5281/ZENODO.14752297},
  timestamp    = {Wed, 20 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/11/AchermannCMKS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hotos/AchermannKS23,
  author       = {Reto Achermann and
                  Ilias Karimalis and
                  Margo I. Seltzer},
  editor       = {Malte Schwarzkopf and
                  Andrew Baumann and
                  Natacha Crooks},
  title        = {Why write address translation {OS} code yourself when you can synthesize
                  it?},
  booktitle    = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems,
                  {HOTOS} 2023, Providence, RI, USA, June 22-24, 2023},
  pages        = {174--180},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593856.3595895},
  doi          = {10.1145/3593856.3595895},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/AchermannKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/McTavishZAKCRS22,
  author       = {Hayden McTavish and
                  Chudi Zhong and
                  Reto Achermann and
                  Ilias Karimalis and
                  Jacques Chen and
                  Cynthia Rudin and
                  Margo I. Seltzer},
  title        = {Fast Sparse Decision Tree Optimization via Reference Ensembles},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {9604--9613},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i9.21194},
  doi          = {10.1609/AAAI.V36I9.21194},
  timestamp    = {Wed, 18 Mar 2026 17:07:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/McTavishZAKCRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-00798,
  author       = {Hayden McTavish and
                  Chudi Zhong and
                  Reto Achermann and
                  Ilias Karimalis and
                  Jacques Chen and
                  Cynthia Rudin and
                  Margo I. Seltzer},
  title        = {Fast Sparse Decision Tree Optimization via Reference Ensembles},
  journal      = {CoRR},
  volume       = {abs/2112.00798},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.00798},
  eprinttype   = {arXiv},
  eprint       = {2112.00798},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-00798.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}