conf.researchr.org / Jared Roesch
Jared Roesch

Registered user since Thu 9 Jun 2016

Name: Jared Roesch

Bio: I am a 2nd year PhD student at the University of Washington.

Country: United States

Affiliation: University of Washington, USA

Personal website: http://jroesch.github.io/

Research interests: Systems, PL, Machine Learning

Contributions

SPLASH 2019Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track
MAPL 2018Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track
Off the Beaten Track 2018Author of Extensible Semantics for Fluidics within the Off the Beaten Track 2018-track
ICFP 2017Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track
POPL 2017Presenter of The Lean Theorem Prover within the Tutorials-track
DLS 2013Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track