Jos Wesley de Souza Magalhes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CC | Accelerating Sparse Algebra with Program Synthesis. | Jos Wesley de Souza Magalhes, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2025 | CGO | Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. | Alexander Brauckmann, Luc Jaulmes, Jos Wesley de Souza Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2023 | GPCE | C2TACO: Lifting Tensor Code to TACO. | Jos Wesley de Souza Magalhes, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2022 | PLDI | ExeBench: an ML-scale dataset of executable C functions. | Jordi Armengol-Estap, Jackson Woodruff, Alexander Brauckmann, Jos Wesley de Souza Magalhes, Michael F. P. O'Boyle |
| 2021 | CGO | ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. | Anderson Faustino da Silva, Bruno Conde Kind, Jos Wesley de Souza Magalhes, Jernimo Nunes Rocha, Breno Campos Ferreira Guimares, Fernando Magno Quinto Pereira |