Jared Roesch

Cited by

	All	Since 2019
Citations	869	774
h-index	12	11
i10-index	13	11

240

120

180

201420152016201720182019202020212022202320243 15 6 26 41 62 115 140 167 233 56

Public access

View all

7 articles

1 article

available

not available

Based on funding mandates

Co-authors

Tianqi ChenCarnegie Mellon UniversityVerified email at cmu.edu
Thierry MoreauOctoML Inc., University of WashingtonVerified email at cs.washington.edu
Luis CezeProfessor of Computer Science and Engineering, University of WashingtonVerified email at cs.washington.edu
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
Kyle DeweyAssociate Professor of Computer Science, California State University, NorthridgeVerified email at csun.edu
Marisa KirisamePHD Candidate, University of UtahVerified email at cs.utah.edu
Luis VegaUniversity of WashingtonVerified email at cs.washington.edu
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Gabriel EbnerMicrosoft ResearchVerified email at gebner.org
Arvind KrishnamurthyShort-Dooley Professor, Univ. of WashingtonVerified email at cs.washington.edu
Lianmin ZhengUC BerkeleyVerified email at berkeley.edu
Carlos GuestrinProfessor, Stanford UniversityVerified email at stanford.edu
Lawton NicholsUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Sebastian UllrichKarlsruhe Institute of TechnologyVerified email at kit.edu
Joseph McMahanUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Dan SuciuUniversity of WashingtonVerified email at cs.washington.edu
Shumo ChuNEBRA LabsVerified email at acm.org
Timothy SherwoodProfessor of Computer Science, UC Santa BarbaraVerified email at cs.ucsb.edu
Michael ChristensenUC Santa BarbaraVerified email at cs.ucsb.edu

Jared Roesch

OctoML Inc

Verified email at cs.uw.edu - Homepage

Programming Languages Machine Learning Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A hardware–software blueprint for flexible deep learning specialization T Moreau, T Chen, L Vega, J Roesch, E Yan, L Zheng, J Fromm, Z Jiang, ... IEEE Micro 39 (5), 8-16, 2019	162	2019
Relay: A new ir for machine learning frameworks J Roesch, S Lyubomirsky, L Weber, J Pollock, M Kirisame, T Chen, ... Proceedings of the 2nd ACM SIGPLAN international workshop on machine …, 2018	118	2018
A metaprogramming framework for formal verification G Ebner, S Ullrich, J Roesch, J Avigad, L de Moura Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	111	2017
Fuzzing the Rust typechecker using CLP (T) K Dewey, J Roesch, B Hardekopf 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	81	2015
Dynamic tensor rematerialization M Kirisame, S Lyubomirsky, A Haan, J Brennan, M He, J Roesch, T Chen, ... arXiv preprint arXiv:2006.09616, 2020	70	2020
Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries S Chu, B Murphy, J Roesch, A Cheung, D Suciu arXiv preprint arXiv:1802.02229, 2018	65	2018
Language fuzzing using constraint logic programming K Dewey, J Roesch, B Hardekopf Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	55	2014
Nimble: Efficiently compiling dynamic neural networks for model inference H Shen, J Roesch, Z Chen, W Chen, Y Wu, M Li, V Sharma, Z Tatlock, ... Proceedings of Machine Learning and Systems 3, 208-222, 2021	42	2021
Relay: A high-level compiler for deep learning J Roesch, S Lyubomirsky, M Kirisame, L Weber, J Pollock, L Vega, ... arXiv preprint arXiv:1904.08368, 2019	39	2019
Tea: A high-level language and runtime system for automating statistical analysis E Jun, M Daum, J Roesch, S Chasins, E Berger, R Just, K Reinecke Proceedings of the 32nd Annual ACM Symposium on User Interface Software and …, 2019	36	2019
Improved type specialization for dynamic scripting languages MN Kedlaya, J Roesch, B Robatmili, M Reshadi, B Hardekopf Proceedings of the 9th Symposium on Dynamic Languages, 37-48, 2013	33	2013
Bring your own codegen to deep learning compiler Z Chen, CH Yu, T Morris, J Tuyls, YH Lai, J Roesch, E Delaye, V Sharma, ... arXiv preprint arXiv:2105.03215, 2021	15	2021
Automated data structure generation: Refuting common wisdom K Dewey, L Nichols, B Hardekopf 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015	10	2015
Theia: automatically generating correct program state visualizations J Pollock, J Roesch, D Woos, Z Tatlock Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 46-56, 2019	9	2019
An architecture supporting formal and compositional binary analysis J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ... ACM SIGARCH Computer Architecture News 45 (1), 177-191, 2017	9	2017
Optimizing machine learning models M Welsh, J Knight, J Roesch, T Moreau, A Chang, T Chen, LH Ceze, ... US Patent 11,216,752, 2022	3	2022
LastLayer: Toward hardware and software continuous integration L Vega, J Roesch, J McMahan, L Ceze IEEE Micro 40 (4), 103-111, 2020	3	2020
Relax: Composable Abstractions for End-to-End Dynamic Machine Learning R Lai, J Shao, S Feng, SS Lyubomirsky, B Hou, W Lin, Z Ye, H Jin, Y Jin, ... arXiv preprint arXiv:2311.02103, 2023	2	2023
Principled Optimization of Dynamic Neural Networks J Roesch University of Washington, 2020	2	2020
Programming in Lean J Avigad, L de Moura, J Roesch	2	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors