Search Results - ((ryan (kelley OR (keller OR filler))) OR ((ragan OR raja) (kelley OR (keller OR filler)))) :: UTM Library Massive Scholar Tracking

Search alternatives:
ryan » yan (Expand Search), ran (Expand Search)
kelley » kelly (Expand Search)
keller » killer (Expand Search), teller (Expand Search), seller (Expand Search)
filler » filled (Expand Search)
ragan » raman (Expand Search), rajan (Expand Search), rakan (Expand Search)

1

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

Published 2024

Get full text

Article
2

Differentiable Vector Graphics Rasterization for Editing and Learning by Li, Tzu-Mao, Lukac, Mike, Gharbi, Michael, Ragan-Kelley, Jonathan

Published 2025

Get full text

Article
3

Sketching With Your Voice: "Non-Phonorealistic" Rendering of Sounds via Vocal Imitation by Caren, Matthew, Chandra, Kartik, Tenenbaum, Joshua, Ragan-Kelley, Jonathan, Ma, Karima

Published 2025

Get full text

Article
4

Fast Instruction Selection for Fast Digital Signal Processing by Root, Alexander J, Ahmad, Maaz Bin Safeer, Sharlet, Dillon, Adams, Andrew, Kamil, Shoaib, Ragan-Kelley, Jonathan

Published 2024

Get full text

Article
5

Distributions for Compositionally Differentiating Parametric Discontinuities by Michel, Jesse, Mu, Kevin, Yang, Xuanda, Bangaru, Sai Praveen, Collins, Elias Rojas, Bernstein, Gilbert, Ragan-Kelley, Jonathan, Carbin, Michael, Li, Tzu-Mao

Published 2024

Get full text

Article
6

Practical Exocompilation for Performance Engineers in User-Schedulable Languages by Qian, Kevin

Published 2024

Get full text

Thesis