Search Results - (("rakan kelley") OR ("ragan kelley")) :: UTM Library Massive Scholar Tracking

Search alternatives:
"rakan kelley" » "raman kelley" (Expand Search), "akan kelley" (Expand Search), "rajan kelley" (Expand Search), "rakan kelly" (Expand Search), "rakan keller" (Expand Search)
"ragan kelley" » "ragan kelly" (Expand Search), "ragan keller" (Expand Search), "raman kelley" (Expand Search), "rajan kelley" (Expand Search), "ragon kelley" (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