Search filters

List of works by Gilbert Bernstein

A Verified Compiler for a Functional Tensor Language

scientific article published on 20 June 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis

scientific article published on 22 April 2024

Semantics and Scheduling for Machine Knitting Compilers

scientific article published on 26 July 2023

WasteBanned: Supporting Zero Waste Fashion Design Through Linked Edits

scientific article published on 11 October 2024

Paulina is supported by:

About Paulina

Help