Jared Roesch

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2021
Safe functional systems through integrity types and verified assembly.
Theor. Comput. Sci., 2021

Bring Your Own Codegen to Deep Learning Compiler.
CoRR, 2021

Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.
Proceedings of the Fourth Conference on Machine Learning and Systems, 2021

Dynamic Tensor Rematerialization.
Proceedings of the 9th International Conference on Learning Representations, 2021

2020
Principled Optimization Of Dynamic Neural Networks.
PhD thesis, 2020

LastLayer: Toward Hardware and Software Continuous Integration.
IEEE Micro, 2020

2019
A Hardware-Software Blueprint for Flexible Deep Learning Specialization.
IEEE Micro, 2019

Relay: A High-Level IR for Deep Learning.
CoRR, 2019

Tea: A High-level Language and Runtime System for Automating Statistical Analysis.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Theia: automatically generating correct program state visualizations.
Proceedings of the SPLASH-E '19, 2019

2018
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Proc. VLDB Endow., 2018

An Architecture for Analysis.
IEEE Micro, 2018

Relay: a new IR for machine learning frameworks.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

2017
A metaprogramming framework for formal verification.
Proc. ACM Program. Lang., 2017

An Architecture Supporting Formal and Compositional Binary Analysis.
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).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014
Language fuzzing using constraint logic programming.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
Improved type specialization for dynamic scripting languages.
Proceedings of the DLS'13, 2013


  Loading...