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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text