Jared Roesch

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 18

Top Topics

Constraint Logic Programming

Statistical Analysis

Top Venues

Proc. VLDB Endow.

Publications

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