research
∙
08/27/2020
M3: Semantic API Migrations
Library migration is a challenging problem, where most existing approach...
share
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