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

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