Improved type specialization for dynamic scripting languages. - Madhukar N. Kedlaya; Jared Roesch; Behnam Robatmili; Mehrdad Reshadi; Ben Hardekopf (DLS, 2013)

Language fuzzing using constraint logic programming. - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 2014)

Fuzzing the Rust Typechecker Using CLP (T). - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 2015)

An Architecture Supporting Formal and Compositional Binary Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (ASPLOS, 2017)

A metaprogramming framework for formal verification. - Gabriel Ebner; Sebastian Ullrich 002; Jared Roesch; Jeremy Avigad; Leonardo de Moura 001 (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)

An Architecture for Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (IEEE Micro, 2018)

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. - Shumo Chu; Brendan Murphy; Jared Roesch; Alvin Cheung; Dan Suciu (Proc. VLDB Endow., 2018)

Theia: automatically generating correct program state visualizations. - Josh Pollock; Jared Roesch; Doug Woos; Zachary Tatlock (SPLASH-E, 2019)

Tea: A High-level Language and Runtime System for Automating Statistical Analysis. - Eunice Jun; Maureen Daum; Jared Roesch; Sarah E. Chasins; Emery D. Berger; René Just; Katharina Reinecke (UIST, 2019)

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)

A Hardware-Software Blueprint for Flexible Deep Learning Specialization. - Thierry Moreau; Tianqi Chen 001; Luis Vega; Jared Roesch; Eddie Q. Yan; Lianmin Zheng; Josh Fromm; Ziheng Jiang; Luis Ceze; Carlos Guestrin; Arvind Krishnamurthy (IEEE Micro, 2019)

LastLayer: Toward Hardware and Software Continuous Integration. - Luis Vega; Jared Roesch; Joseph McMahan; Luis Ceze (IEEE Micro, 2020)

Principled Optimization Of Dynamic Neural Networks. - Jared Roesch (2020)

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

Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference. - Haichen Shen; Jared Roesch; Zhi Chen 030; Wei Chen; Yong Wu; Mu Li 003; Vin Sharma; Zachary Tatlock; Yida Wang 003 (MLSys, 2021)

Bring Your Own Codegen to Deep Learning Compiler. - Zhi Chen 030; Cody Hao Yu; Trevor Morris; Jorn Tuyls; Yi-Hsiang Lai; Jared Roesch; Elliott Delaye; Vin Sharma; Yida Wang 003 (CoRR, 2021)

Safe functional systems through integrity types and verified assembly. - Michael Christensen 001; Joseph McMahan; Lawton Nichols; Jared Roesch; Timothy Sherwood; Ben Hardekopf (Theor. Comput. Sci., 2021)

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)