Author

José Wesley de Souza Magalhães

Observed names: De Souza Magalhães, José Wesley, Jose Wesley de Souza Magalhaes, José W. De Souza Magalhães, José W. de Souza Magalhães, José Wesley de S Magalhães, Magalhães, José Wesley De Souza

Institution: University of Edinburgh

Observed institutions: Universidade Federal de Minas Gerais, University of Edinburgh

ORCID: 0000-0003-2767-1130

Observed ORCID: 0000-0003-2767-1130

OpenAlex ID: A5072335056

ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction

2021 · Anderson Faustino da Silva, Bruno Conde Kind, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 55

ExeBench: an ML-scale dataset of executable C functions

2022 · Jordi Armengol-Estapé, Jackson Woodruff, et al. · 25

Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving

2025 · Alexander Brauckmann, Luc Jaulmes, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 5

C2TACO: Lifting Tensor Code to TACO

2023 · José Wesley de Souza Magalhães, Jackson Woodruff, et al. · ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) · 5

PDF

Guided Tensor Lifting

2025 · Yixuan Li, José Wesley de Souza Magalhães, et al. · Proceedings of the ACM on Programming Languages · 4

PDF

Automatic inspection of program state in an uncooperative environment

2022 · José Wesley de Souza Magalhães, Chunhua Liao, et al. · Software Practice and Experience · 2

Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories

2019 · Breno C F Guimarães, José Wesley de S Magalhães, et al. · 1

Echo: Learning-based Matching Decompilation using Trusted Back Translation

2026 · Bi, Jun, Fang, Xiangxin, et al. · arXiv (Cornell University)

PDF

Program lifting for acceleration

2026 · De Souza Magalhães, José Wesley · ERA

PDF

Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis

2026 · Alexander Brauckmann, Aarsh Chaube, et al. · Proceedings of the CGO/Proceedings of the ... CGO

Accelerating Sparse Algebra with Program Synthesis

2026 · José Wesley de Souza Magalhães, Shideh Hashemian, et al. · ACM SIGPLAN International Conference on Compiler Construction (CC)

Guess, Measure & Edit: Using Lowering to Lift Tensor Code

2025 · José Wesley de Souza Magalhães, Jackson Woodruff, et al. · International Conference on Parallel Architectures and Compilation Techniques (PACT)

Works count: 12

Citation count: 97

H-index: 4

I10-index: 2