person · community record
Jared Roesch
Jared Roesch is a software developer, student, and research working on bringing theoretical insights back to reality. He has worked on optimizing JIT compilers, typed program generation, distributed systems, web development and most recently dependently typed hardware construction.
Checking node ownership…
01
Connections
31 relationships
appeared_onLessons co-founding and operating an AI/ML company during massive market shifts w/ Jared Roeschtalk ↗appeared_onNavigating the New M&A Landscape with Indy Guha (VMG), Jared Roesch (OctoAI), Dan Kang (Mercury), Michelle Edwards (Perkins Coie) | Inside Summit 2025 [LIVE]talk ↗appeared_onOctoAI (Formerly OctoML), CTO - Jared Roesch | Ep 9talk ↗authoredA Hardware–Software Blueprint for Flexible Deep Learning Specializationpaper ↗authoredA metaprogramming framework for formal verificationpaper ↗authoredAn Architecture Supporting Formal and Compositional Binary Analysispaper ↗authoredAn Architecture for Analysispaper ↗authoredAxiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queriespaper ↗authoredBring Your Own Codegen to Deep Learning Compilerpaper ↗authoredDynamic Tensor Rematerializationpaper ↗authoredFearless Concurrency on the GPUpaper ↗authoredFuzzing the Rust Typechecker Using CLP (T)