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 (SBLP, 2019)

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 (CGO, 2021)

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 (MAPS@PLDI, 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)

C2TACO: Lifting Tensor Code to TACO. - José Wesley de Souza Magalhães; Jackson Woodruff; Elizabeth Polgreen; Michael F. P. O'Boyle (GPCE, 2023)

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 (CGO, 2025)

Guided Tensor Lifting. - Yixuan Li 003; José Wesley de Souza Magalhães; Alexander Brauckmann; Michael F. P. O'Boyle; Elizabeth Polgreen (Proc. ACM Program. Lang., 2025)