research
∙
10/09/2020
Modeling Black-Box Components with Probabilistic Synthesis
This paper is concerned with synthesizing programs based on black-box or...
share
research
∙
08/27/2020
M3: Semantic API Migrations
Library migration is a challenging problem, where most existing approach...
research
∙
06/10/2020
Retrofitting Symbolic Holes to LLVM IR
Symbolic holes are one of the fundamental building blocks of solver-aide...
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
∙
07/12/2019