Qubit allocation MY Siraichi, VF Santos, C Collange, FMQ Pereira Proceedings of the 2018 international symposium on code generation and …, 2018 | 282 | 2018 |
Divergence analysis and optimizations B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr 2011 International Conference on Parallel Architectures and Compilation …, 2011 | 132 | 2011 |
Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 130 | 2005 |
Register allocation by puzzle solving FM Quintão Pereira, J Palsberg Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 117 | 2008 |
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 | 113 | 2016 |
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 | 86 | 2013 |
Wave propagation and deep propagation for pointer analysis FMQ Pereira, D Berlin 2009 International Symposium on Code Generation and Optimization, 126-135, 2009 | 86 | 2009 |
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 | 83 | 2015 |
Just-in-time value specialization IR de Assis Costa, HN Santos, PR Alves, FMQ Pereira Computer Languages, Systems & Structures 40 (2), 37-52, 2014 | 60 | 2014 |
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 | 57 | 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 | 54 | 2017 |
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 | 51 | 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 | 51 | 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 | 39 | 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 |
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 |
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 | 32 | 2011 |
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 | 26 | 2021 |
SSA elimination after register allocation FMQ Pereira, J Palsberg International Conference on Compiler Construction, 158-173, 2009 | 26 | 2009 |