José Wesley de Souza Magalhães
Scholar

José Wesley de Souza Magalhães

Google Scholar ID: JwKrVb8AAAAJ
Ph.D. Candidate at The University of Edinburgh
CompilersTranspilationProgram LiftingProgramming LanguagesProgram Synthesis
Citations & Impact
All-time
Citations
90
 
H-index
3
 
i10-index
2
 
Publications
9
 
Co-authors
8
list available
Publications
9 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Insufficient Information
Research Experience
  • - Research Postgraduate, Institute for Computing and Systems Architecture (ICSA), University of Edinburgh, under the supervision of Professor Michael O'Boyle
  • - Project Experience: Lifting legacy code to optimized domain-specific languages; Whiro project for automatic inspection of program state; Jotai project for generating synthetic inputs to turn Angha programs into executable
Education
  • - Ph.D. in Computer Science, The University of Edinburgh, 2022-Present, Advisor: Michael O'Boyle
  • - Master's Degree in Computer Science, Federal University of Minas Gerais (UFMG), 2019-2021, Advisor: Fernando Magno Quintão Pereira
  • - Bachelor's Degree in Computer Science, Federal University of Viçosa (UFV), 2015-2018, Advisor: Daniel Mendes Barbosa
Background
  • Research Interests: Compilers and Programming Languages, with a focus on Neural-Guided Program Synthesis and Benchmark Validation. Currently researching methods to automatically lift legacy code to new, modern, and optimized languages.
Miscellany
  • Birth: February 1996
  • Residence: Edinburgh, Scotland, UK
  • Hometown: Ferros, Minas Gerais, Brazil