Jared Roesch

According to our database, Jared Roesch authored at least 19 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning.

Ruihang Lai, Junru Shao, Siyuan Feng, Steven S. 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 G. Roesch, Todd C. Mowry, Tianqi Chen

CoRR, 2023

2021

Safe functional systems through integrity types and verified assembly.

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf

Theor. Comput. Sci., 2021

Bring Your Own Codegen to Deep Learning Compiler.

Zhi Chen, Cody Hao Yu, Trevor Morris, Jorn Tuyls, Yi-Hsiang Lai, Jared Roesch, Elliott Delaye, Vin Sharma, Yida Wang

CoRR, 2021

Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.

Haichen Shen, Jared Roesch, Zhi Chen, Wei Chen, Yong Wu, Mu Li, Vin Sharma, Zachary Tatlock, Yida Wang

Proceedings of the Fourth Conference on Machine Learning and Systems, 2021

Dynamic Tensor Rematerialization.

Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Principled Optimization Of Dynamic Neural Networks.

Jared Roesch

PhD thesis, 2020

LastLayer: Toward Hardware and Software Continuous Integration.

Luis Vega, Jared Roesch, Joseph McMahan, Luis Ceze

IEEE Micro, 2020

2019

A Hardware-Software Blueprint for Flexible Deep Learning Specialization.

Thierry Moreau, Tianqi Chen, Luis Vega, Jared Roesch, Eddie Q. Yan, Lianmin Zheng, Josh Fromm, Ziheng Jiang, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy

IEEE Micro, 2019

Relay: A High-Level IR for Deep Learning.

Jared Roesch, Steven Lyubomirsky, Marisa Kirisame, Josh Pollock, Logan Weber, Ziheng Jiang, Tianqi Chen, Thierry Moreau, Zachary Tatlock

CoRR, 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

Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Theia: automatically generating correct program state visualizations.

Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock

Proceedings of the SPLASH-E '19, 2019

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

An Architecture for Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

IEEE Micro, 2018

Relay: a new IR for machine learning frameworks.

Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

2017

A metaprogramming framework for formal verification.

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

Proc. ACM Program. Lang., 2017

An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2015

Fuzzing the Rust Typechecker Using CLP (T).

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Language fuzzing using constraint logic programming.

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Improved type specialization for dynamic scripting languages.

Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf

Proceedings of the DLS'13, 2013