| Qubit allocation MY Siraichi, VF Santos, C Collange, FMQ Pereira Proceedings of the 2018 international symposium on code generation and …, 2018 | 335 | 2018 |
| Divergence analysis and optimizations B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr 2011 International Conference on Parallel Architectures and Compilation …, 2011 | 133 | 2011 |
| Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 130 | 2005 |
| 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 | 125 | 2016 |
| Register allocation by puzzle solving FM Quintão Pereira, J Palsberg Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 118 | 2008 |
| Wave propagation and deep propagation for pointer analysis FMQ Pereira, D Berlin 2009 International Symposium on Code Generation and Optimization, 126-135, 2009 | 92 | 2009 |
| 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 | 89 | 2013 |
| Siot: Securing the internet of things through distributed system analysis FA Teixeira, GV Machado, FMQ Pereira, HC Wong, JMS Nogueira, ... Proceedings of the 14th International Conference on Information Processing …, 2015 | 86 | 2015 |
| Qubit allocation as a combination of subgraph isomorphism and token swapping MY Siraichi, VF Santos, C Collange, FMQ Pereira Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 72 | 2019 |
| 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 | 62 | 2017 |
| Just-in-time value specialization IR de Assis Costa, HN Santos, PR Alves, FMQ Pereira Computer Languages, Systems & Structures 40 (2), 37-52, 2014 | 62 | 2014 |
| 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 | 53 | 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 | 52 | 2014 |
| 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 | 42 | 2015 |
| Register allocation after classical SSA elimination is NP-complete FMQ Pereira, J Palsberg International Conference on Foundations of Software Science and Computation …, 2006 | 38 | 2006 |
| Divergence analysis D Sampaio, RM Souza, C Collange, FMQ Pereira ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-36, 2014 | 36 | 2014 |
| Anghabench: A suite with one million compilable c benchmarks for code-size reduction AF Da Silva, BC Kind, JW de Souza Magalhães, JN Rocha, ... 2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021 | 33 | 2021 |
| Dynamic elimination of overflow tests in a trace compiler R Sol, C Guillon, FM Quintão Pereira, MAS Bigonha Compiler Construction: 20th International Conference, CC 2011, Held as Part …, 2011 | 33 | 2011 |
| Tainted flow analysis on e-SSA-form programs A Rimsa, M d’Amorim, FM Quintão Pereira Compiler Construction: 20th International Conference, CC 2011, Held as Part …, 2011 | 32 | 2011 |
| Inference of static semantics for incomplete C programs LTC Melo, RG Ribeiro, MR de Araújo, FMQ Pereira Proceedings of the ACM on Programming Languages 2 (POPL), 29, 2017 | 28 | 2017 |
Leonardo Barbosa e OliveiraProfessor of Computer Science, Universidade Federal de Minas Gerais在 dcc.ufmg.br 的电子邮件经过验证
