Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Jonathan Ragan-Kelley

A Verified Compiler for a Functional Tensor Language

scientific article published on 20 June 2024

Fast Instruction Selection for Fast Digital Signal Processing

scientific article published on 07 February 2024

Semantics and Scheduling for Machine Knitting Compilers

scientific article published on 26 July 2023

Verified tensor-program optimization via high-level scheduling rewrites

scientific article published on 12 January 2022

Paulina is supported by:

About Paulina

Help