The computer for the 21st century: present security & privacy challenges
Oliveira, Leonardo B., Pereira, Fernando Magno Quintão, Misoczki, Rafael, Aranha, Diego F., Borges, Fábio, Nogueira, Michele, Wangham, Michelle, Wu, Min, Liu, Jie
Published in Journal of internet services and applications (01.12.2018)
Published in Journal of internet services and applications (01.12.2018)
Get full text
Journal Article
Aliased register allocation for straight-line programs is NP-complete
Lee, Jonathan K., Palsberg, Jens, Pereira, Fernando Magno Quintão
Published in Theoretical computer science (06.11.2008)
Published in Theoretical computer science (06.11.2008)
Get full text
Journal Article
A case for a fast trip count predictor
Alves, Péricles R.O., Rodrigues, Raphael E., de Sousa, Rafael Martins, Quintão Pereira, Fernando Magno
Published in Information processing letters (01.02.2015)
Published in Information processing letters (01.02.2015)
Get full text
Journal Article
Automatic inspection of program state in an uncooperative environment
Magalhães, José Wesley de Souza, Liao, Chunhua, Pereira, Fernando Magno Quintão
Published in Software, practice & experience (01.12.2022)
Published in Software, practice & experience (01.12.2022)
Get full text
Journal Article
Register Allocation After Classical SSA Elimination is NP-Complete
Pereira, Fernando Magno Quintão, Palsberg, Jens
Published in Foundations of Software Science and Computation Structures (2006)
Published in Foundations of Software Science and Computation Structures (2006)
Get full text
Book Chapter
Conference Proceeding
Automatic Insertion of Copy Annotation in Data-Parallel Programs
Souza Diniz Mendonca, Gleison, Campos Ferreira Guimaraes, Breno, Oliveira Alves, Pericles Rafael, Quintao Pereira, Fernando Magno, Pereira, Marcio Machado, Araujo, Guido
Published in 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2016)
Published in 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2016)
Get full text
Conference Proceeding
Fusion of Calling Sites
do Couto Teixeira, Douglas, Collange, Caroline, Pereira, Fernando Magno Quintao
Published in 2015 27th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2015)
Published in 2015 27th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2015)
Get full text
Conference Proceeding
The Dinamica EGO virtual machine
Ferreira, Bruno Morais, Soares-Filho, Britaldo Silveira, Pereira, Fernando Magno Quintão
Published in Science of computer programming (15.03.2019)
Published in Science of computer programming (15.03.2019)
Get full text
Journal Article
VESPA: static profiling for binary optimization
Moreira, Angélica Aparecida, Ottoni, Guilherme, Quintão Pereira, Fernando Magno
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Dynamic dispatch of context-sensitive optimizations
Poesia, Gabriel, Pereira, Fernando Magno Quintão
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Guided just-in-time specialization
Lima, Caio, Cezar, Junio, Vieira Leobas, Guilherme, Rohou, Erven, Quintão Pereira, Fernando Magno
Published in Science of computer programming (01.01.2020)
Published in Science of computer programming (01.01.2020)
Get full text
Journal Article
Combining range and inequality information for pointer disambiguation
Maalej, Maroua, Paisante, Vitor, Magno Quintão Pereira, Fernando, Gonnord, Laure
Published in Science of computer programming (15.01.2018)
Published in Science of computer programming (15.01.2018)
Get full text
Journal Article
On-line synthesis of parsers for string events
Saffran, João, Barbosa, Haniel, Pereira, Fernando Magno Quintão, Vladamani, Srinivas
Published in Journal of computer languages (Online) (01.02.2021)
Published in Journal of computer languages (Online) (01.02.2021)
Get full text
Journal Article