SpaceSearch: a library for building and verifying solver-aided tools. - Konstantin Weitz; Steven Lyubomirsky; Stefan Heule; Emina Torlak; Michael D. Ernst; Zachary Tatlock (Proc. ACM Program. Lang., 2017)

Relay: a new IR for machine learning frameworks. - Jared Roesch; Steven Lyubomirsky; Logan Weber; Josh Pollock; Marisa Kirisame; Tianqi Chen 001; Zachary Tatlock (MAPL@PLDI, 2018)

Relay: A High-Level IR for Deep Learning. - Jared Roesch; Steven Lyubomirsky; Marisa Kirisame; Josh Pollock; Logan Weber; Ziheng Jiang; Tianqi Chen 001; Thierry Moreau; Zachary Tatlock (CoRR, 2019)

Dynamic Tensor Rematerialization. - Marisa Kirisame; Steven Lyubomirsky; Altan Haan; Jennifer Brennan; Mike He; Jared Roesch; Tianqi Chen 001; Zachary Tatlock (ICLR, 2021)

Pure tensor program rewriting via access patterns (representation pearl). - Gus Henry Smith; Andrew Liu; Steven Lyubomirsky; Scott Davidson 004; Joseph McMahan; Michael B. Taylor; Luis Ceze; Zachary Tatlock (MAPS@PLDI, 2021)

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. - Bo-Yuan Huang 001; Steven Lyubomirsky; Yi Li; Mike He; Thierry Tambe; Gus Henry Smith; Akash Gaonkar; Vishal Canumalla; Gu-Yeon Wei; Aarti Gupta; Zachary Tatlock; Sharad Malik (CoRR, 2022)

Compiler and Runtime Techniques for Optimizing Deep Learning Applications - Steven Lyubomirsky (2022)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis. - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; Steven Lyubomirsky; Sorawee Porncharoenwase; René Just; Gilbert Louis Bernstein; Zachary Tatlock (ASPLOS (2), 2024)

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. - Bo-Yuan Huang 001; Steven Lyubomirsky; Yi Li; Mike He; Gus Henry Smith; Thierry Tambe; Akash Gaonkar; Vishal Canumalla; Andrew Cheung; Gu-Yeon Wei; Aarti Gupta; Zachary Tatlock; et al. (ACM Trans. Design Autom. Electr. Syst., 2024)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning. - Ruihang Lai; Junru Shao; Siyuan Feng; Steven Lyubomirsky; Bohan Hou; Wuwei Lin; Zihao Ye 001; Hongyi Jin; Yuchen Jin; Jiawei Liu 004; Lesheng Jin; Yaxing Cai; et al. (ASPLOS (2), 2025)