• Sign in
  • Sign up
conf.researchr.org / Jared Roesch
  • ICFP 2017 profile
  • PLDI 2018 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • SPLASH 2013 profile
  • SPLASH 2019 profile
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

2019

SPLASH

  • Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track

2018

MAPS

  • Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track

Off the Beaten Track

  • Author of Extensible Semantics for Fluidics within the Off the Beaten Track 2018-track

2017

ICFP

  • Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track

POPL

  • Presenter of The Lean Theorem Prover within the Tutorials-track

2013

DLS

  • Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track
Share
xMon 11 Dec 22:20
using conf.researchr.org (v1.62.0)
Support page
Sign Up