José Wesley de Souza Magalhães

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Automatic Inspection

Programming Environment

Benchmark Datasets

Top Venues

Softw. Pract. Exp.

Publications

José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
C2TACO: Lifting Tensor Code to TACO. GPCE (2023)
José Wesley de Souza Magalhães, Chunhua Liao, Fernando Magno Quintão Pereira
Automatic inspection of program state in an uncooperative environment. Softw. Pract. Exp. 52 (12) (2022)
Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle
ExeBench: an ML-scale dataset of executable C functions. MAPS@PLDI (2022)
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
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. CGO (2021)