José Wesley De Souza Magalhães -

Registered user since Mon 18 Sep 2023

Name:José Wesley De Souza Magalhães

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website: https://josewesley.com/

GitHub: https://github.com/httpsgithubcomJWesleySM

Research interests:Compilers, Programming Languages, Programming Synthesis

Contributions

2026

CGO

Author of Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis within the Main Conference-track

CC

Author of Accelerating Sparse Algebra with Program Synthesis within the Main Conference-track

2025

PLDI

Author of Guided Tensor Lifting within the PLDI Research Papers-track

CGO

Author of Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving within the Main Conference-track

2023

GPCE

Author of C2TACO: Lifting Tensor Code to TACO within the GPCE 2023-track