Concepedia

Jared Roesch

JR

Statistics

Publications

8

Citations

417

H-Index

8

Active since

2013

Affiliations

University of Washington(Current)

University of California, Santa Barbara

Jared Roesch is an author at University of Washington specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringCompilers

Publications per year

2013–2020

8

Publications

8

Relay: a new IR for machine learning frameworks

Jared Roesch, Steven Lyubomirsky, Logan Weber et al. · 2018 · 99 citations · Full text

Large Ai Model, Engineering, Machine Learning +15

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text

Engineering, Verification, Software Engineering +19

Fuzzing the Rust Typechecker Using CLP (T)

Kyle Dewey, Jared Roesch, Ben Hardekopf · 2015 · 65 citations

Engineering, Verification, Sophisticated Type System +18

Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries

Shumo Chu, Brendan Murphy, Jared Roesch et al. · Proceedings of the VLDB Endowment · 2018 · 58 citations

Relational Database, Engineering, Axiomatic Foundations +20

Language fuzzing using constraint logic programming

Kyle Dewey, Jared Roesch, Ben Hardekopf · 2014 · 50 citations

Engineering, Software Engineering, Software Analysis +19

1–5 of 8