Sotabase
Home
Researchers
Career
·
Researcher
,
Columbia University - Software Systems Laboratory (SSL)
2024–
·
Columbia University Software Systems Laboratory (SSL)
Publications
(22)
A Hardware–Software Blueprint for Flexible Deep Learning Specialization
IEEE Micro · 2018
151
cited
Relay: a new IR for machine learning frameworks
MAPL@PLDI · 2018
116
cited
Dynamic Tensor Rematerialization
International Conference on Learning Representations · 2020
111
cited
A metaprogramming framework for formal verification
Proc. ACM Program. Lang. · 2017
100
cited
Fuzzing the Rust Typechecker Using CLP (T)
International Conference on Automated Software Engineering · 2015
74
cited
Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference
Conference on Machine Learning and Systems · 2020
66
cited
Language fuzzing using constraint logic programming
International Conference on Automated Software Engineering · 2014
51
cited
Tea: A High-level Language and Runtime System for Automating Statistical Analysis
ACM Symposium on User Interface Software and Technology · 2019
40
cited
Relay: A High-Level Compiler for Deep Learning
2019
37
cited
Improved type specialization for dynamic scripting languages
Dynamic Languages Symposium · 2013
24
cited
Relay: A High-Level IR for Deep Learning
arXiv.org · 2019
21
cited
Bring Your Own Codegen to Deep Learning Compiler
arXiv.org · 2021
18
cited
Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
International Conference on Architectural Support for Programming Languages and Operating Systems · 2023
17
cited
Theia: automatically generating correct program state visualizations
SPLASH-E · 2019
7
cited
An Architecture Supporting Formal and Compositional Binary Analysis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2017
6
cited
An Architecture for Analysis
IEEE Micro · 2018
4
cited
LastLayer: Toward Hardware and Software Continuous Integration
IEEE Micro · 2020
2
cited
Principled Optimization Of Dynamic Neural Networks
2020
1
cited
Safe functional systems through integrity types and verified assembly
Theoretical Computer Science · 2021
1
cited
Sotabase
Jared Roesch | Researcher Profile | Sotabase | Sotabase