José Wesley de S. Magalhães

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

Collaborative distances:

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

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