José Wesley de S. Magalhães

According to our database, José Wesley de S. Magalhães authored at least 10 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis.

Alexander Brauckmann, Aarsh Chaube, José Wesley de S. Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2026

Accelerating Sparse Algebra with Program Synthesis.

José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, 2026

2025

Guided Tensor Lifting.

Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen

Proc. ACM Program. Lang., 2025

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

Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, 2025

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

José Wesley de Souza Magalhães, Jackson Woodruff, Jordi Armengol-Estapé, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 34th International Conference on Parallel Architectures and Compilation Techniques, 2025

2023

C2TACO: Lifting Tensor Code to TACO.

José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

2022

Automatic inspection of program state in an uncooperative environment.

José Wesley de Souza Magalhães, Chunhua Liao, Fernando Magno Quintão Pereira

Softw. Pract. Exp., 2022

ExeBench: an ML-scale dataset of executable C functions.

Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle

Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

2021

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

Anderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães, Jerônimo Nunes Rocha, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2019

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

Breno Campos Ferreira Guimarães, José Wesley de S. Magalhães, Anderson Faustino da Silva, Fernando M. Q. Pereira

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019