Fernando Magno Quintão Pereira
Universidade Federal de Minas Gerais(BR)Hospital das Clínicas da Universidade Federal de Minas Gerais(BR)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Logic, programming, and type systems, Security and Verification in Computing, Advanced Malware Detection Techniques
Most-Cited Works
- → Qubit allocation(2018)224 cited
- → Divergence Analysis and Optimizations(2011)94 cited
- → Register Allocation Via Coloring of Chordal Graphs(2005)79 cited
- → Sparse representation of implicit flows with applications to side-channel detection(2016)77 cited
- → Wave Propagation and Deep Propagation for Pointer Analysis(2009)66 cited
- → Qubit allocation as a combination of subgraph isomorphism and token swapping(2019)64 cited
- → Register allocation by puzzle solving(2008)63 cited