research
∙
09/16/2023
Rewriting History: Repurposing Domain-Specific CGRAs
Coarse-grained reconfigurable arrays (CGRAs) are domain-specific devices...
share
research
∙
05/21/2023
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler
Decompilation is a well-studied area with numerous high-quality tools av...
research
∙
01/27/2023
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators
Dedicated tensor accelerators demonstrate the importance of linear algeb...
research
∙
08/17/2021
Learning C to x86 Translation: An Experiment in Neural Compilation
Deep learning has had a significant impact on many fields. Recently, cod...
research
∙
10/09/2020
Modeling Black-Box Components with Probabilistic Synthesis
This paper is concerned with synthesizing programs based on black-box or...
research
∙
05/21/2020
TASO: Time and Space Optimization for Memory-Constrained DNN Inference
Convolutional neural networks (CNNs) are used in many embedded applicati...
research
∙
01/22/2020
Automatically Harnessing Sparse Acceleration
Sparse linear algebra is central to many scientific programs, yet compil...
research
∙
08/13/2019
Type-Directed Program Synthesis and Constraint Generation for Library Portability
Fast numerical libraries have been a cornerstone of scientific computing...
research
∙
08/13/2019
Type-Directed Program Synthesis and Constraint Generation for Accelerator Library Portability
Fast numerical libraries have been a cornerstone of scientific computing...
research
∙
08/20/2018
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality
Visual understanding of 3D environments in real-time, at low power, is a...
research
∙
10/08/2014