Search alternatives:
ragan » raman (Expand Search), rajan (Expand Search), rakan (Expand Search)
kelley* » kelly* (Expand Search), keller* (Expand Search)
Showing 1 - 6 results of 6 for search 'ragan kelley*', query time: 0.04s Refine Results
  1. 1
    A Verified Compiler for a Functional Tensor Language

    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. 2
    Differentiable Vector Graphics Rasterization for Editing and Learning

    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. 3
    Sketching With Your Voice: "Non-Phonorealistic" Rendering of Sounds via Vocal Imitation

    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. 4
    Fast Instruction Selection for Fast Digital Signal Processing

    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. 5
    Distributions for Compositionally Differentiating Parametric Discontinuities

    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. 6
    Practical Exocompilation for Performance Engineers in User-Schedulable Languages

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

    Published 2024
    Get full text
    Thesis

Search Tools: