| Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005 | 90 | 2005 |
| Register allocation by puzzle solving FM Quintão Pereira, J Palsberg ACM SIGPLAN Notices 43 (6), 216-226, 2008 | 84 | 2008 |
| Divergence analysis and optimizations B Coutinho, D Sampaio, FMQ Pereira, W Meira Jr 2011 International Conference on Parallel Architectures and Compilation …, 2011 | 74 | 2011 |
| Wave propagation and deep propagation for pointer analysis FMQ Pereira, D Berlin 2009 International Symposium on Code Generation and Optimization, 126-135, 2009 | 47 | 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 | 45 | 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 | 37* | 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 | 29 | 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 | 24 | 2011 |
| Register allocation after classical SSA elimination is NP-complete FMQ Pereira, J Palsberg International Conference on Foundations of Software Science and Computation …, 2006 | 23 | 2006 |
| 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 | 22 | 2019 |
| Tainted flow analysis on e-SSA-form programs A Rimsa, M d’Amorim, FMQ Pereira International Conference on Compiler Construction, 124-143, 2011 | 22 | 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 | 20 | 2006 |
| 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 |
| SSA elimination after register allocation FMQ Pereira, J Palsberg International Conference on Compiler Construction, 158-173, 2009 | 19 | 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 | 18 | 2007 |
| Efficient static checker for tainted variable attacks A Rimsa, M d’Amorim, FMQ Pereira, RS Bigonha Science of Computer Programming 80, 91-105, 2014 | 13 | 2014 |
| Divergence analysis D Sampaio, RM Souza, S Collange, FMQ Pereira ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 13, 2013 | 13 | 2013 |
| Automatic parallelization of canonical loops LLP Da Mata, FMQO Pereira, R Ferreira Science of Computer Programming 78 (8), 1193-1206, 2013 | 13 | 2013 |
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu