| Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 89 | 2005 |
| Register allocation by puzzle solving FM Quintão Pereira, J Palsberg ACM SIGPLAN Notices 43 (6), 216-226, 2008 | 80 | 2008 |
| Divergence analysis and optimizations B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr 2011 International Conference on Parallel Architectures and Compilation …, 2011 | 71 | 2011 |
| Wave propagation and deep propagation for pointer analysis FMQ Pereira, D Berlin Code Generation and Optimization, 2009. CGO 2009. International Symposium on …, 2009 | 47 | 2009 |
| A fast and low-overhead technique to secure programs against integer overflows RE Rodrigues, VHS Campos, FMQ Pereira Code Generation and Optimization (CGO), 2013 IEEE/ACM International …, 2013 | 46 | 2013 |
| Just-in-time value specialization HN Santos, P Alves, I Costa, FM Quintao Pereira Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013 | 36* | 2013 |
| 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 | 32 | 2016 |
| Validation of memory accesses through symbolic analyses H Nazaré, I Maffra, W Santos, L Barbosa, L Gonnord, FM Quintão Pereira ACM SIGPLAN Notices 49 (10), 791-809, 2014 | 31 | 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 | 27 | 2014 |
| 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 | 25 | 2011 |
| Register allocation after classical SSA elimination is NP-complete FMQ Pereira, J Palsberg International Conference on Foundations of Software Science and Computation …, 2006 | 24 | 2006 |
| Tainted flow analysis on e-SSA-form programs A Rimsa, M d’Amorim, FMQ Pereira International Conference on Compiler Construction, 124-143, 2011 | 21 | 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 | 21 | 2006 |
| SSA elimination after register allocation FMQ Pereira, J Palsberg International Conference on Compiler Construction, 158-173, 2009 | 20 | 2009 |
| Runtime pointer disambiguation P Alves, F Gruber, J Doerfert, A Lamprineas, T Grosser, F Rastello, ... ACM SIGPLAN Notices 50 (10), 589-606, 2015 | 19 | 2015 |
| SIoT: Securing Internet of Things through distributed systems analysis FA Teixeira, FMQ Pereira, HC Wong, JMS Nogueira, LB Oliveira Future Generation Computer Systems, 2017 | 18 | 2017 |
| 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 | 18 | 2007 |
| Tactics for Remote Method Invocation. FMQ Pereira, MT de Oliveira Valente, WS Pires, R da Silva Bigonha, ... J. UCS 10 (7), 824-842, 2004 | 14 | 2004 |
| Parameterized construction of program representations for sparse dataflow analyses A Tavares, B Boissinot, F Pereira, F Rastello International Conference on Compiler Construction, 18-39, 2014 | 13 | 2014 |
| Visual interactive subgroup discovery with numerical properties of interest AM Jorge, F Pereira, PJ Azevedo International Conference on Discovery Science, 301-305, 2006 | 13 | 2006 |
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu