Jared Roesch

23 papers A* 5C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Relax: Composable Abstractions for End-to-End Dynamic Machine Learning.
ASPLOS (2)
Ruihang Lai, Junru Shao, Siyuan Feng, Steven Lyubomirsky, Bohan Hou, Wuwei Lin, Zihao Ye, Hongyi Jin, Yuchen Jin, Jiawei Liu, Lesheng Jin, Yaxing Cai, Ziheng Jiang, Yong Wu, Sunghyun Park, Prakalp Srivastava, Jared Roesch, Todd C. Mowry, Tianqi Chen
2021 J jnl
Bring Your Own Codegen to Deep Learning Compiler.
CoRR
Zhi Chen, Cody Hao Yu, Trevor Morris, Jorn Tuyls, Yi-Hsiang Lai, Jared Roesch, Elliott Delaye, Vin Sharma, Yida Wang
2021 A* conf
Dynamic Tensor Rematerialization.
ICLR
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
2021 — conf
Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.
MLSys
Haichen Shen, Jared Roesch, Zhi Chen, Wei Chen, Yong Wu, Mu Li, Vin Sharma, Zachary Tatlock, Yida Wang
2021 J jnl
Safe functional systems through integrity types and verified assembly.
Theor. Comput. Sci.
Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
2020 J jnl
Dynamic Tensor Rematerialization.
CoRR
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
2020 J jnl
LastLayer: Toward Hardware and Software Continuous Integration.
IEEE Micro
Luis Vega, Jared Roesch, Joseph McMahan, Luis Ceze
2020 J jnl
Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.
CoRR
Haichen Shen, Jared Roesch, Zhi Chen, Wei Chen, Yong Wu, Mu Li, Vin Sharma, Zachary Tatlock, Yida Wang
2020 — —
Principled Optimization Of Dynamic Neural Networks.
Jared Roesch
2019 J jnl
A Hardware-Software Blueprint for Flexible Deep Learning Specialization.
IEEE Micro
Thierry Moreau, Tianqi Chen, Luis Vega, Jared Roesch, Eddie Q. Yan, Lianmin Zheng, Josh Fromm, Ziheng Jiang, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy
2019 J jnl
Relay: A High-Level IR for Deep Learning.
CoRR
Jared Roesch, Steven Lyubomirsky, Marisa Kirisame, Josh Pollock, Logan Weber, Ziheng Jiang, Tianqi Chen, Thierry Moreau, Zachary Tatlock
2019 A* conf
Tea: A High-level Language and Runtime System for Automating Statistical Analysis.
UIST
Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke
2019 J jnl
Tea: A High-level Language and Runtime System for Automating Statistical Analysis.
CoRR
Eunice Jun, Maureen Daum, Jared Roesch, Sarah E. Chasins, Emery D. Berger, René Just, Katharina Reinecke
2019 — conf
Theia: automatically generating correct program state visualizations.
SPLASH-E
Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock
2018 J jnl
An Architecture for Analysis.
IEEE Micro
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
2018 J jnl
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Proc. VLDB Endow.
Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu
2018 J jnl
Relay: A New IR for Machine Learning Frameworks.
CoRR
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock
2018 — conf
Relay: a new IR for machine learning frameworks.
MAPL@PLDI
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock
2017 J jnl
A metaprogramming framework for formal verification.
Proc. ACM Program. Lang.
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
2017 A* conf
An Architecture Supporting Formal and Compositional Binary Analysis.
ASPLOS
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
2015 A* conf
Fuzzing the Rust Typechecker Using CLP (T).
ASE
Kyle Dewey, Jared Roesch, Ben Hardekopf
2014 A* conf
Language fuzzing using constraint logic programming.
ASE
Kyle Dewey, Jared Roesch, Ben Hardekopf
2013 C conf
Improved type specialization for dynamic scripting languages.
DLS
Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf