Fernando Magno Quintão Pereira

According to our database, Fernando Magno Quintão Pereira authored at least 108 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Reducing the Overhead of Exact Profiling by Reusing Affine Variables.

Leon Frenot, Fernando Magno Quintão Pereira

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

2023

Side-channel Elimination via Partial Control-flow Linearization.

Luigi Soares, Michael Canesche, Fernando Magno Quintão Pereira

ACM Trans. Program. Lang. Syst., June, 2023

Preparing Reproducible Scientific Artifacts using Docker.

Michael Canesche, Roland Leissa, Fernando Magno Quintão Pereira

CoRR, 2023

A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation.

Rafael Sumitani, Lucas Silva, Frederico Campos, Fernando Magno Quintão Pereira

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos.

Alexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

A Game-Based Framework to Compare Program Classifiers and Evaders.

Thaís Damásio, Michael Canesche, Vinícius Pacheco, Marcus Botacin, Anderson Faustino da Silva, Fernando Magno Quintão Pereira

Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023

Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need.

Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022

Program representations for predictive compilation: State of affairs in the early 20's.

Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz Junior, Otávio Oliveira Napoli

J. Comput. Lang., 2022

Hapi: A domain-specific language for the declaration of access policies.

Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira

J. Comput. Lang., 2022

Automatic inspection of program state in an uncooperative environment.

José Wesley de Souza Magalhães, Chunhua Liao, Fernando Magno Quintão Pereira

Softw. Pract. Exp., 2022

Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas.

Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

A polynomial time exact solution to the bit-aware register binding problem.

Michael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

Static Single Information Form.

Fernando Magno Quintão Pereira, Fabrice Rastello

Proceedings of the SSA-based Compiler Design, 2022

2021

On-line synthesis of parsers for string events.

João Saffran, Haniel Barbosa, Fernando Magno Quintão Pereira, Srinivas Vladamani

J. Comput. Lang., 2021

Instruction visibility in SPEC CPU2017.

Andrei Rimsa Álvares, José Nelson Amaral, Fernando Magno Quintão Pereira

J. Comput. Lang., 2021

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs.

Junio Cezar Ribeiro da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira

ACM Trans. Embed. Comput. Syst., 2021

Practical dynamic reconstruction of control flow graphs.

Andrei Rimsa, José Nelson Amaral, Fernando M. Q. Pereira

Softw. Pract. Exp., 2021

VESPA: static profiling for binary optimization.

Angelica Aparecida Moreira, Guilherme Ottoni, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2021

New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure.

Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Memory-Safe Elimination of Side Channels.

Luigi Soares, Fernando Magno Quintão Pereira

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction.

Anderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães, Jerônimo Nunes Rocha, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Exploring the space of optimization sequences for code-size reduction: insights and tools.

Anderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quintão Pereira

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Type Inference for C: Applications to the Static Analysis of Incomplete Programs.

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

ACM Trans. Program. Lang. Syst., 2020

Guided just-in-time specialization.

Caio Lima, Junio Cezar R. da Silva, Guilherme V. Leobas, Erven Rohou, Fernando Magno Quintão Pereira

Sci. Comput. Program., 2020

Dynamic dispatch of context-sensitive optimizations.

Gabriel Poesia, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2020

Semiring optimizations: dynamic elision of expressions with identity and absorbing elements.

Guilherme V. Leobas, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2020

YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences.

André Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs.

Junio Cezar R. da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando M. Q. Pereira

Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

AutoParBench: a unified test framework for OpenMP-based parallelizers.

Gleison Souza Diniz Mendonca, Chunhua Liao, Fernando Magno Quintão Pereira

Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

2019

Static Prediction of Silent Stores.

Fernando Magno Quintão Pereira, Guilherme V. Leobas, Abdoulaye Gamatié

ACM Trans. Archit. Code Optim., 2019

Automatic parallelization of recursive functions with rewriting rules.

Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira

Sci. Comput. Program., 2019

The Dinamica EGO virtual machine.

Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira

Sci. Comput. Program., 2019

JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device.

Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira

Sci. Comput. Program., 2019

Qubit allocation as a combination of subgraph isomorphism and token swapping.

Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2019

Data-flow analysis and optimization for data coherence in heterogeneous architectures.

Rafael C. F. Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo

J. Parallel Distributed Comput., 2019

SIoT: Securing Internet of Things through distributed systems analysis.

Fernando Augusto Teixeira, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira

Future Gener. Comput. Syst., 2019

Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems.

Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira

CoRR, 2019

Efficient and Precise Dynamic Construction of Control Flow Graphs.

Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories.

Breno Campos Ferreira Guimarães, José Wesley de S. Magalhães, Anderson Faustino da Silva, Fernando M. Q. Pereira

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster.

Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware.

Mateus Tymburibá, Hugo Sousa, Fernando Magno Quintão Pereira

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages.

Marcus Rodrigues, Breno Guimarães, Fernando Magno Quintão Pereira

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018

Combining range and inequality information for pointer disambiguation.

Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord

Sci. Comput. Program., 2018

Inference of static semantics for incomplete C programs.

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2018

The computer for the 21st century: present security & privacy challenges.

Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Michele Nogueira, Michelle S. Wangham, Min Wu, Jie Liu

J. Internet Serv. Appl., 2018

Taskminer: automatic identification of tasks.

Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

More than meets the eye: invisible instructions.

Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

From Java to FPGA: An Experience with the Intel HARP System.

Pedro Caldeira, Jeronimo Costa Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quintão Pereira

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems.

Junio Cezar Ribeiro da Silva, Fernando Magno Quintão Pereira, Michael Frank, Abdoulaye Gamatié

Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2018

Qubit allocation.

Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

Automatic annotation of tasks in structured code.

Pedro Ramos, Gleison Souza Diniz Mendonca, Divino Soares, Guido Araújo, Fernando Magno Quintão Pereira

Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, 2018

2017

DawnCC: Automatic Annotation for Data Parallelism and Offloading.

Gleison Souza Diniz Mendonca, Breno Campos Ferreira Guimarães, Péricles Alves, Márcio Machado Pereira, Guido Araujo, Fernando Magno Quintão Pereira

ACM Trans. Archit. Code Optim., 2017

Static placement of computation on heterogeneous devices.

Gabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2017

Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems.

Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira

Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Demand-driven less-than analysis.

Junio Cezar R. da Silva, Fernando Magno Quintão Pereira

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

Data Coherence Analysis and Optimization for Heterogeneous Computing.

Rafael Cardoso Fernandes Sousa, Márcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo

Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Function Call Re-Vectorization.

Rubens E. A. Moreira, Caroline Collange, Fernando Magno Quintão Pereira

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

The Computer for the 21st Century: Security & Privacy Challenges after 25 Years.

Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Jie Liu

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Pointer disambiguation via strict inequalities.

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14).

Fernando Magno Quintão Pereira

Sci. Comput. Program., 2016

An Algebraic Framework for Parallelizing Recurrence in Functional Programming.

Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems.

Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Automatic Insertion of Copy Annotation in Data-Parallel Programs.

Gleison Souza Diniz Mendonca, Breno Campos Ferreira Guimarães, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira, Márcio Machado Pereira, Guido Araujo

Proceedings of the 28th International Symposium on Computer Architecture and High Performance Computing, 2016

Inference of peak density of indirect branches to detect ROP attacks.

Mateus Tymburibá, Rubens E. A. Moreira, Fernando Magno Quintão Pereira

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

Symbolic range analysis of pointers.

Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

SMOV: Array Bound-Check and access in a single instruction.

Antonio Maia, Leandro T. C. Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto, Leonardo B. Oliveira

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Sparse representation of implicit flows with applications to side-channel detection.

Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha

Proceedings of the 25th International Conference on Compiler Construction, 2016

Restrictification of function arguments.

Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

A case for a fast trip count predictor.

Péricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza, Fernando Magno Quintão Pereira

Inf. Process. Lett., 2015

The Dinamica Virtual Machine for Geosciences.

Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira

Proceedings of the Programming Languages, 2015

Automatic Inference of Loop Complexity Through Polynomial Interpolation.

Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha, Frederico Campos, Fernando Magno Quintão Pereira

Proceedings of the Programming Languages, 2015

Fusion of Calling Sites.

Douglas do Couto Teixeira, Caroline Collange, Fernando Magno Quintão Pereira

Proceedings of the 27th International Symposium on Computer Architecture and High Performance Computing, 2015

Runtime pointer disambiguation.

Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

SIoT: securing the internet of things through distributed system analysis.

Fernando Augusto Teixeira, Gustavo Vieira Machado, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

2014

Efficient static checker for tainted variable attacks.

Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha

Sci. Comput. Program., 2014

Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads.

Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira

Parallel Comput., 2014

Just-in-time value specialization.

Igor Rafael de Assis Costa, Henrique Nazaré Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira

Comput. Lang. Syst. Struct., 2014

Defending Code from the Internet of Things against Buffer Overflow.

Fernando Augusto Teixeira, Gustavo Vieira Machado, Pablo M. Fonseca, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira

Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

Validation of memory accesses through symbolic analyses.

Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Parameterized Construction of Program Representations for Sparse Dataflow Analyses.

André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello

Proceedings of the Compiler Construction - 23rd International Conference, 2014

Compiler support for selective page migration in NUMA architectures.

Guilherme Piccoli, Henrique Nazaré Santos, Raphael Ernani Rodrigues, Christiane Pousa, Edson Borin, Fernando Magno Quintão Pereira

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

Divergence analysis.

Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira

ACM Trans. Program. Lang. Syst., 2013

Automatic parallelization of canonical loops.

Leonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira

Sci. Comput. Program., 2013

Profiling divergences in GPU applications.

Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.

Concurr. Comput. Pract. Exp., 2013

A fast and low-overhead technique to secure programs against integer overflows.

Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Spill Code Placement for SIMD Machines.

Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Optimizing a Geomodeling Domain Specific Language.

Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Speed and Precision in Range Analysis.

Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Parameter Based Constant Propagation.

Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Magno Lages Figueiredo

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Divergence Analysis with Affine Constraints.

Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira

Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

Data and Instruction Uniformity in Minimal Multi-threading.

Teo Milanez, Caroline Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira

Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

2011

Decoupled graph-coloring register allocation with hierarchical aliasing.

André Luiz Camargos Tavares, Quentin Colombet, Mariza Andrade da Silva Bigonha, Christophe Guillon, Fernando Magno Quintão Pereira, Fabrice Rastello

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Dynamic Elimination of Overflow Tests in a Trace Compiler.

Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha

Proceedings of the Compiler Construction - 20th International Conference, 2011

Tainted Flow Analysis on e-SSA-Form Programs.

Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira

Proceedings of the Compiler Construction - 20th International Conference, 2011

Divergence Analysis and Optimizations.

Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Performance Debugging of GPGPU Applications with the Divergence Map.

Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.

Proceedings of the 22st International Symposium on Computer Architecture and High Performance Computing, 2010

Punctual Coalescing.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

Wave Propagation and Deep Propagation for Pointer Analysis.

Fernando Magno Quintão Pereira, Daniel Berlin

Proceedings of the CGO 2009, 2009

SSA Elimination after Register Allocation.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Aliased register allocation for straight-line programs is NP-complete.

Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira

Theor. Comput. Sci., 2008

Register allocation by puzzle solving.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

A Framework for End-to-End Verification and Evaluation of Register Allocators.

V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Arcademis: a framework for object-oriented communication middleware development.

Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha

Softw. Pract. Exp., 2006

Register Allocation After Classical SSA Elimination is NP-Complete.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Register Allocation Via Coloring of Chordal Graphs.

Fernando Magno Quintão Pereira, Jens Palsberg

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Tactics for Remote Method Invocation.

Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha

J. Univers. Comput. Sci., 2004

2003

The Language LinF for Fractal Specification.

Fernando Magno Quintão Pereira, Leonardo T. Rolla, Cristiano G. Rezende, Rodrigo L. Carceroni

Proceedings of the 16th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2003), 2003

A Coordination Model for ad hoc Mobile Systems.

Marco Túlio de Oliveira Valente, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha

Proceedings of the Euro-Par 2003. Parallel Processing, 2003