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