Fast Sparse Decision Tree Optimization via Reference Ensembles. - Hayden McTavish; Chudi Zhong; Reto Achermann; Ilias Karimalis; Jacques Chen; Cynthia Rudin; Margo I. Seltzer (AAAI, 2022)

Why write address translation OS code yourself when you can synthesize it? - Reto Achermann; Ilias Karimalis; Margo I. Seltzer (HotOS, 2023)

Velosiraptor: Code Synthesis for Memory Translation. - Reto Achermann; Em Chu; Ryan Mehri; Ilias Karimalis; Margo I. Seltzer (ASPLOS (2), 2025)

Velosiraptor: Code Synthesis for Memory Translation. - Reto Achermann; Emily Chu; Ryan Mehri; Ilias Karimalis; Margo I. Seltzer (Zenodo, 2025)