| Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 100 | 2005 |
| Register allocation by puzzle solving FM Quintão Pereira, J Palsberg Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 89 | 2008 |
| Divergence analysis and optimizations B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr 2011 International Conference on Parallel Architectures and Compilation …, 2011 | 88 | 2011 |
| A fast and low-overhead technique to secure programs against integer overflows RE Rodrigues, VHS Campos, FMQ Pereira Proceedings of the 2013 IEEE/ACM international symposium on code generation …, 2013 | 62 | 2013 |
| Wave propagation and deep propagation for pointer analysis FMQ Pereira, D Berlin 2009 International Symposium on Code Generation and Optimization, 126-135, 2009 | 60 | 2009 |
| Qubit allocation MY Siraichi, VF Santos, S Collange, FMQ Pereira Proceedings of the 2018 International Symposium on Code Generation and …, 2018 | 54 | 2018 |
| SIoT: Securing Internet of Things through distributed systems analysis FA Teixeira, FMQ Pereira, HC Wong, JMS Nogueira, LB Oliveira Future Generation Computer Systems 92, 1172-1186, 2019 | 52 | 2019 |
| Sparse representation of implicit flows with applications to side-channel detection B Rodrigues, FM Quintão Pereira, DF Aranha Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 51 | 2016 |
| Just-in-time value specialization I Costa, P Alves, HN Santos, FMQ Pereira Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013 | 45* | 2013 |
| Compiler support for selective page migration in NUMA architectures G Piccoli, HN Santos, RE Rodrigues, C Pousa, E Borin, ... Proceedings of the 23rd international conference on Parallel architectures …, 2014 | 38 | 2014 |
| Validation of memory accesses through symbolic analyses H Nazaré, I Maffra, W Santos, L Barbosa, L Gonnord, FM Quintão Pereira Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 34 | 2014 |
| DawnCC: automatic annotation for data parallelism and offloading G Mendonça, B Guimarães, P Alves, M Pereira, G Araújo, FMQ Pereira ACM Transactions on Architecture and Code Optimization (TACO) 14 (2), 1-25, 2017 | 29 | 2017 |
| Dynamic elimination of overflow tests in a trace compiler R Sol, C Guillon, FMQ Pereira, MAS Bigonha International Conference on Compiler Construction, 2-21, 2011 | 29 | 2011 |
| Register allocation after classical SSA elimination is NP-complete FMQ Pereira, J Palsberg International Conference on Foundations of Software Science and Computation …, 2006 | 29 | 2006 |
| Runtime pointer disambiguation P Alves, F Gruber, J Doerfert, A Lamprineas, T Grosser, F Rastello, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 28 | 2015 |
| Divergence analysis D Sampaio, RM Souza, S Collange, FMQ Pereira ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-36, 2014 | 25 | 2014 |
| Tainted flow analysis on e-SSA-form programs A Rimsa, M d’Amorim, FMQ Pereira International Conference on Compiler Construction, 124-143, 2011 | 25 | 2011 |
| Arcademis: a framework for object‐oriented communication middleware development FMQ Pereira, MTO Valente, RS Bigonha, MAS Bigonha Software: Practice and Experience 36 (5), 495-512, 2006 | 22 | 2006 |
| SSA elimination after register allocation FMQ Pereira, J Palsberg International Conference on Compiler Construction, 158-173, 2009 | 21 | 2009 |
| A framework for end-to-end verification and evaluation of register allocators VK Nandivada, FMQ Pereira, J Palsberg International Static Analysis Symposium, 153-169, 2007 | 21 | 2007 |
Leonardo Barbosa e OliveiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
