Search Results - (((("ragan kelley") OR ("rajan kelly"))) OR ("ragan seller")) :: UTM Library Massive Scholar Tracking

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