For our papers in Portuguese, please, visit this page.

Journal Articles

	Alex Holmquist, Vitor Emanuel, Fernando C. Alves and Fernando Magno Quintão Pereira. Detection and Treatment of String Events in the Limit. Elsevier Journal of computer Languages, 2024 (DOI: 10.1016/j.cola.2024.101299).
	Michael Canesche, Vanderson Rosário, Edson Borin and Fernando Magno Quintão Pereira. The Droplet Search Algorithm for Kernel Scheduling. ACM TACO, 2024.
	Luigi Soares, Michael Canesche and Fernando Magno Quintão Pereira. Side-channel Elimination via Partial Control-flow Linearization. ACM TOPLAS, 2023.
	Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz Junior and Otávio Oliveira Napoli. Program Representations for Predictive Compilation: State of Affairs in the Early 20's. Journal of Computer Languages, 2022.
	Vinícius Julião, Alexander Holmquist and Fernando Magno Quintão Pereira. Hapi: A Domain-Specific Language for the Declaration of Access Policies. Journal of Computer Languages, 2022.
	José Wesley Magalhães, Chunhua Liao and Fernando Magno Quintão Pereira. Automatic inspection of program state in an uncooperative environment. Software, Practice and Experience, 2022.
	Junio Cezar Ribeiro Da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié and Fernando Magno Quintão Pereira Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. ACM Transactions on Embedded Computing Systems, Volume 20, Issue 6, November 2021, Article No.: 112, Pages 1-35, DOI 10.1145/3478288.
	Andrei Álvares Rimsa, José Nelson Amaral and Fernando Magno Quintão Pereira. Instruction Visibility in SPEC CPU2017. Journal of Computer Languages, 2021.
	João Saffran, Haniel Barbosa, Srinivas Vadlamani and Fernando Magno Quintão Pereira. On-Line Synthesis of Parsers for String Events. Journal of Computer Languages, 2021.
	Leandro T. C. Melo, Rodrigo G. Ribeiro, Breno C. F. Guimarães and Fernando Magno Quintão Pereira. Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM TOPLAS, 2020.
	Andrei Rimsa, José Nelson Amaral and Fernando Magno Quintão Pereira. Practical Dynamic Reconstruction of Control Flow Graphs. Accepted for publication at Software, Practice and Experience, 2020.
	Caio Lima, Junio Cezar, Guilherme Vieira Leobas, Erven Rohou and Fernando Magno Quintão Pereira. Guided Just-in-Time Specialization. Science of Computer Programming, 185, 2020.
	Fernando Magno Quintão Pereira, Guilherme Vieira Leobas and Abdoulaye Gamatié. Static Prediction of Silent Stores. ACM Transactions on Architecture and Code Optimization. 15, 4, Article 44, 2019.
	Rafael Sousa, Márcio Pereira, Fernando Magno Quintão Pereira and Guido Araújo. Data-Flow Analysis and Optimization for Data Coherence in Heterogeneous Architectures. Journal of Parallel and Distributed Computing. 130, 126-139, 2019.
	Rodrigo C. O. Rocha, Luís F. W. Góes and Fernando Magno Quintão Pereira. Automatic parallelization of recursive functions with rewriting rules. Science of Computer Programming. DOI 10.1016/j.scico.2018.01.004, February 2018.
	Bruno Morais Ferreira, Britaldo Silveira Soares-Filho and Fernando Magno Quintão Pereira. The Dinamica EGO virtual machine. Science of Computer Programming. DOI 10.1016/j.scico.2018.02.002, February 2018.
	Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira and Laure Gonnord. Combining range and inequality information for pointer disambiguation. Science of Computer Programming. DOI 10.1016/j.scico.2017.10.014, Volume 152, Pages 161-184, January 2018.
	Tarsila Bessa, Christopher Gull, Pedro Quintão, Michael Frank, José Nacif and Fernando Magno Quintão Pereira. JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Science of Computer Programming. DOI 10.1016/j.scico.2017.08.017, September 2017.
	Gleison Mendonça, Breno Guimarães, Péricles Rafael Oliveira Alves, Márcio Pereira, Guido Araújo and Fernando Magno Quintão Pereira. DawnCC: Automatic Annotation for Data Parallelism and Offloading. ACM Transactions on Architecture and Code Optimization. 14 (2), July 2017.
	Péricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza and Fernando Magno Quintão Pereira. A case for a fast trip count predictor. Information Processing Letters. 115 (2): 146-150, 2015.
	Teo Milanez, Sylvain Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr. and Renato Ferreira. Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. Parallel Computing. 40 (9): 548-558, 2014.
	Andrei Rimsa, Marcelo D'Amorim, Fernando Magno Quintão Pereira and Roberto S. Bigonha. Efficient Static Checker for Tainted Variable Attacks. Science of Computer Programming. Volume 80, Part A, Pages 91-105, 2014.
	Igor Rafael de Assis Costa, Henrique Nazaré Santos, Péricles Rafael Alves and Fernando Magno Quintão Pereira Just-in-Time Value Specialization. Computer Languages, Systems and Structures. 40 (2): 37-52, 2014.
	Diogo Sampaio, Rafael M. Sousa, Sylvain Collange and Fernando Magno Quintão Pereira. Divergence Analysis TOPLAS, Volume 35, Issue 4, December 2013.
	Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira J. Profiling Divergences in GPU Applications. Concurrency and Computation: Practice and Experience. Volume 25. Number 6. 775-789. 2013.
	Leonardo L. P. da Mata and Fernando M. Q. Pereira and Renato Ferreira. Automatic Parallelization of Canonical Loops. Science of Computer Programming. Volume 78. Number 8. 1193-1206. 2013.
	Jonathan K. Lee, Jens Palsberg and Fernando Magno Quintão Pereira. Aliased register allocation for straight-line programs is NP-complete. Theoretical Computer Science. Volume 407. Issue (1-3). 258-273. 2008.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Arcademis: a Framework for Object Oriented Communication Middleware Development. Software: Practice and Experience. Volume 36. Issue 5. 495 - 512. 2006.
	Fernando Magno Quintão Pereira, Wagner Salazar Pires, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Tactics for Remote Method Invocation. Journal of Universal Computer Science (J.UCS). Volume 10. Issue 7. 824 - 842. 2004.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Chamada Remota de Métodos na Plataforma J2ME/CLDC. Revista do Instituto Nacional de Telecomunicações. Inatel. Volume 7 Issue 1. 21 - 31. 2004.

Conference Papers

	Kael Soares Augusto, Vin´cius Pacheco, Marcos A. Vieira, Rodrigo Geraldo Ribeiro and Fernando Magno Quintão Pereira. Honey Potion: an eBPF Backend for Elixir. CGO 2025. Research artifact.
	Fernando Magno Quintão Pereira and Caio Raposo. The Essence of the Flyweight Design Pattern. JensFest 2024.
	Léon Frenot and Fernando Magno Quintão Pereira. Reducing the Overhead of Exact Profiling by Reusing Affine Variables. CC 2024.
	Breno Campos Ferreira Guimarães and Fernando Magno Quintão Pereira. Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need. CC 2023.
	Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Marcus Botacin and Fernando Magno Quintão Pereira. A Game-Based Framework to Compare Program Classifiers and Evaders. CGO 2023.
	Michael Canesche, José Augusto Nacif, Ricardo Ferreira and Fernando Magno Quintão Pereira. A Polynomial Time Exact Solution to the Bit-Aware Register Binding Problem. CC 2022.
	Angélica Moreira, Guilherme Ottoni and Fernando Magno Quintão Pereira. VESPA: Static Profiling for Binary Optimization. OOPSLA 2021.
	Anderson Faustino da Silva, Bernardo Nunes Borges de Lima and Fernando Magno Quintão Pereira. Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools. CC 2021.
	Luigi Soares and Fernando Magno Quintão Pereira. Memory-Safe Elimination of Side Channels. CGO 2021.
	Anderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães, Jerônimo Nunes Rocha, Breno Campos Ferreira Guimarães and Fernando Magno Quintão Pereira. AnghaBench: a Suite with One Million Compilable C Benchmarks for Code-Size Reduction. CGO 2021.
	Vinícius S. Pacheco, Thaís Damásio, Luís F. W. Goes, Fernando Magno Quintão Pereira and Rodrigo C. O. Rocha. Inlining for Code-Size Reduction. SBLP 2021.
	Vinícius Julião, Alexander Holmquist, Flávio Lúcio Correa, Celso Junio O. Santos and and Fernando Magno Quintão Pereira. Hapi: A Domain-Specific Language for the Declaration of Access Policies. SBLP 2021.
	Anderson Faustino da Silva, Edson Borin, Otávio Oliveira Nápoli, Vanderson Martins do Rosário and and Fernando Magno Quintão Pereira. New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. SBLP 2021.
	Guilherme Vieira Leobas and Fernando Magno Quintáo Pereira. Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements. OOPSLA 2020.
	Gabriel Poesia and Fernando Magno Quintáo Pereira. Dynamic Dispatch of Context-Sensitive Optimizations. OOPSLA 2020.
	Junio Silva, Lorena Leão, Vinícius Petrucci, Abdoulaye Gamatié and Fernando Magno Quintão Pereira. Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs. Brazilian Symposium on Computing Systems Engineering (SBESC) 2020.
	André Felipe Zanella, Anderson Faustino da Silva and Fernando Magno Quintáo Pereira. YaCoS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. SBLP 2020.
	Gleison Mendonça, Chunhua Liao and Fernando Magno Quintão Pereira. AutoParBench: A Unified Test Framework for OpenMP-based Parallelizers. ICS 2020.
	Marcos Yukio Siraichi, Vinícius Santos, Sylvain Collange and Fernando Magno Quintão Pereira. Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping. OOPSLA, 2019, Slides.
	Mateus Tymburibá, Hugo Sousa and Fernando Magno Quintão Pereira. Multilayer ROP Protection via Microarchitectural Units Available in Commodity Hardware. DSN. 2019.
	Marcus Rodrigues, Breno Guimarães and Fernando Magno Quintão Pereira. Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. CGO. 2019. Slides.
	Guilherme V. Leobas, Breno Guimarães and Fernando Magno Quintão Pereira. More than meets the eye: invisible instructions. SBLP, SBC, pages 27-34. 2018.
	Pedro Ramos, Gleison Mendonça, Divino Soares, Guido Araújo and Fernando Magno Quintão Pereira. Automatic Annotation of Tasks in Structured Code. PACT. 2018.
	Pedro Caldeira, Jeronimo C. Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Nacif, Renato Ferreira and Fernando Magno Quintão Pereira. From Java to FPGA: an Experience with the Intel HARP System. SBAC-PAD. 2018.
	Junio Cezar Ribeiro da Silva, Fernando Magno Quintão Pereira, Michael Frank and Abdoulaye Gamatié. A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. Recosoc. 2018.
	Marcos Yukio Siraichi, Vinícios Santos, Sylvain Collange and Fernando Magno Quintáo Pereira. Qubit Allocation. CGO. 2018.
	Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli and Fernando Magno Quintão Pereira. Static Placement of Computation on Heterogeneous Devices. OOPSLA. 2017.
	Leandro T. C. Melo, Marcus Rodrigues de Araújo, Rodrigo Geraldo Ribeiro, and Fernando Magno Quintáo Pereira. Inference of Static Semantics for Incomplete C Programs. POPL. 2018. (Slides)
	Leonardo B. Oliveira, Fernando Magno Quintáo Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges and Jie Liu. The Computer for the 21st Century: Security and Privacy Challenges After 25 Years. ICCCN. 2017.
	Rafael Sousa, Márcio Pereira, Fernando Magno Quintáo Pereira and Guido Araújo. Data Coherence Analysis and Optmization for Heterogeneous Computing. SBAC-PAD. 2017.
	Min Wu, Fernando Magno Quintáo Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim and Leonardo B. Oliveira. New Directions: Proof-Carrying Sensing - Towards Real-World Authentication in Cyber-Physical Systems. SenSys. 2017.
	Junio Cezar R. da Silva and Fernando Magno Quintáo Pereira. Demand-Driven Less-Than Analysis. SBLP. 2017.
	Rubens E. A. Moreira, Sylvain Collange and Fernando Magno Quintão Pereira. Function Call Re-Vectorization. PPoPP. 2017.
	Maroua Maleej, Vitor Paisante, Pedro Ramos, Laure Gonnord and Fernando Magno Quintão Pereira. Pointer Disambiguation via Strict Inequalities. CGO. 2017.
	Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira. JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. SBLP. 2016, pages 16-30.
	Rodrigo C. O. Rocha, Luís Fabrício Wanderley Góes,Fernando Magno Quintão Pereira. An Algebraic Framework for Parallelizing Recurrence in Functional Programming. SBLP. 2016, pages 140-155.
	Gleison Souza Diniz Mendonça, Breno Campos Ferreira Guimarães, Péricles Rafael Oliveira Alves, Márcio Machado Pereira, Guido Araújo and Fernando Magno Quintão Pereira Automatic Insertion of Copy Annotation in Data-Parallel Programs. SBAC. 2016.
	Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré and Fernando Magno Quintão Pereira. Restrictification of Function Arguments. CC. 2016.
	Bruno Rodrigues, Diego Aranha and Fernando Magno Quintão Pereira. Sparse Representation of Implicit Flows with Applications to Side-Channel Detection. CC. 2016.
	Vitor Paisante, Maaroua Maleej, Laure Gonnord, Leonardo Barbosa and Fernando Magno Quintão Pereira. Symbolic Range Analysis of Pointers. CGO. 2016.
	Mateus Tymburibá Ferreira, Rubens Emílio Alves Moreira and Fernando Magno Quintão Pereira. Inference of Peak Density of Indirect Branches to Detect ROP Attacks. CGO. 2016.
	Pericles Rafael Alves, Fabian Gruber, Johannes Doerfert, Alexandros Labrineas, Tobias Grosser, Fabrice Rastello and Fernando Magno Quintão Pereira. Runtime Pointer Disambiguation. OOPSLA. 2015.
	Douglas do Couto Teixeira, Sylvain Collange and Fernando Magno Quintão Pereira. Fusion of Calling Sites. SBAC-PAD. 2015.
	Guilherme Piccoli, Henrique Nazaré Santos, Raphael Ernani Rodrigues, Christiane Pousa, Edson Borin and Fernando Magno Quintão Pereira. Compiler support for selective page migration in NUMA architectures. PACT. 2014.
	André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira and Fabrice Rastello Parameterized Construction of Program Representations for Sparse Dataflow Analyses. Compiler Construction. 2014.
	Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa, Laure Gonnord and Fernando Magno Quintão Pereira. Validation of memory accesses through symbolic analyses. OOPSLA, pages 791-809, 2014.
	Raphael Ernani Rodrigues, Victor Hugo Sperle Campos and Fernando Magno Quintão Pereira. A Fast and Low-Overhead Technique to Secure Programs again Integer Overflows. International Symposium on Code Generation and Optimization (CGO). 2013.
	Igor Costa, Péricles Alves, Henrique Nazaré and Fernando Magno Quintão Pereira. Just-in-time Value Specialization. International Symposium on Code Generation and Optimization (CGO). 2013.
	Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues and Britaldo Silveira Soares-Filho. Optimizing a Geomodeling Domain Specific Langauge. The Brazilian Symposium on Programming Languages (SBLP). 87-101. 2012.
	Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira and Sylvain Collange. Spill Code Placement for SIMD Machines.. Best Paper! The Brazilian Symposium on Programming Languages (SBLP). 12-26. 2012.
	Pericles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira and Eduardo Lage Figueiredo Parameter Based Constant Propagation The Brazilian Symposium on Programming Languages (SBLP). 57-71. 2012.
	Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa and Fernando Magno Quintão Pereira Speed and Precision in Range Analysis. The Brazilian Symposium on Programming Languages (SBLP). 42-56. 2012.
	Gabriel Silva Quadros and Fernando Magno Quintão Pereira. Static Detection of Address Leaks. The Eleventh Brazilian Symposium on Computer Security (SBSeg). 2011.
	Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira and Wagner Meira Jr. Divergence Analysis and Optimizations. The Twentieth International Conference on Parallel Architectures and Compilation Techniques (PACT). 2011.
	Douglas Teixeira do Couto and Fernando Magno Quintão Pereira. The Design and Implementation of a Non-Iterative Range Analysis Algorithm on a Production Compiler. Simpósio Brasileiro de Linguagens de Programação. 2011.
	Andre Tavares, Quentin Colombet, Mariza Bigonha, Ghristophe Guillon, Fernando Magno Quintão Pereira and Fabrice Rastello. Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing The 14th International Workshop on Software and Compilers for Embedded Systems (SCOPES), XX-XX, 2011.
	Andrei Rimsa, Marcelo d'Amorim and Fernando Magno Quintão Pereira. Tainted Flow Analysis on e-SSA-form Programs 2011 International Conference on Compiler Construction (CC), 122 - 141.
	Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira and Mariza Bigonha Dynamic Elimination of Overflow Tests in a Trace Compiler 2011 International Conference on Compiler Construction (CC), 2 - 21.
	Fernando Magno Quintão Pereira, Jens Palsberg. Punctual Coalescing 2010 International Conference on Compiler Construction (CC), 165 - 184.
	Bruno Rocha Coutinho, Diogo Nunes Sampaio Fernando Magno Quintão Pereira and Wagner Meira Jr. Performance Debugging of GPGPU Applications with the Divergence Map 2010 International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). 2010. Best paper.
	Rodrigo Sol, Fernando Magno Quintão Pereira and Mariza A. S. Bigonha. Removing Overflow Tests via Run-Time Partial Evaluation. Simpósio Brasileiro de Linguagens de Programação. 2010. Best paper.
	Andrei Rimsa, Marcelo d'Amorim and Fernando Magno Quintão Pereira. Efficient Static Checker for Tainted Variable Attacks. Simpósio Brasileiro de Linguagens de Programação. 2010.
	André Luiz C. Tavares, Fernando Magno Quintão Pereira, Mariza A. S. Bigonha and Roberto S. Bigonha. Efficient SSI Conversion. Simpósio Brasileiro de Linguagens de Programação. 2010.
	Fernando Magno Quintão Pereira, Jens Palsberg. Punctual Coalescing 2010 International Conference on Compiler Construction (CC), 165 - 184.
	Leonardo Padovani da Mata, Fernando Magno Quintão Pereira, Renato Antônio Ferreira Automatic Parallelization of Canonical Loops Simpósio Brasileiro de Linguagens de Programação. 2009.
	Mariza Andrade da Silva Bigonha, Fernando Magno Quintão Pereira, Fabrice Rastello, Roberto S Bigonha A Coalescing Algorithm for Aliased Registers Col?quio em Informática: Brasil / INRIA. 2009.
	Fernando Magno Quintão Pereira, Jens Palsberg. SSA Elimination after Register Allocation 2009 International Conference on Compiler Construction (CC). 158 - 173.
	Fernando Magno Quintão Pereira, Daniel Berlin. Wave Propagation and Deep Propagation for Pointer Analysis 2009 International Conference on Code Generation and Optimization (CGO).
	Fernando Magno Quintão Pereira, Jens Palsberg. Register Allocation by Puzzle Solving Extended version of the paper presented at ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI).
	Venkata K. Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg. A Framework for End-to-End Verification and Evaluation of Register Allocators. The Fourteenth International Static Analysis Symposium (SAS 2007). LNCS. 153 - 169. 2007.
	Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira. Alias Register Allocation for Straight-line Programs is NP-complete. ICALP - 34th International Colloquium on Automata, Languages and Programming. LNCS. 2007. The final version is copyright protected. This is only an early draft.
	Fernando Magno Quintão Pereira, Jens Palsberg. Register Allocation After Classical SSA Elimination is NP-Complete. Foundations of Software Science and Computation Structures. 79 - 93. LNCS. 2006.
	Fernando Magno Quintão Pereira, Jens Palsberg. Register Allocation via Coloring of Chordal Graphs. The Third Asian Symposium on Programming Languages and Systems. 315 - 329. Spring. 2005.
	Fernando Magno Quintão Pereira, Wagner Salazar Pires, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Tactics for Remote Method Invocation. 8th Brazilian Symposium on Programming Languages. 102 - 115. SBC. 2004.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Arcademis: a Java Based Framework for Middleware Development. 22nd Brazilian Symposium on Computer Networks. 539 - 552. IEEE. 2004.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Chamada Remota de Métodos na Plataforma J2ME/CLDC. 5th Brazilian Workshop on Wireless Communication and Mobile Computation (WCSF). SBC. 157 - 168. 2003.
	Fernando Magno Quintão Pereira, Leonardo Trivelato Rolla, Cristiano Gato de Rezende, Rodrigo Lima Carceroni. The Language LinF for Fractal Specification. Brazilian Symposium on Computer Graphics (SIBGRAPI). IEEE. 67 - 74. 2003.
	Marco Túlio de Oliveira Valente, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. A Coordination Model for Ad Hoc Mobile Systems. 9th European Conference on Parallel Computing (EURO-PAR). Springer. 1075 - 1081. 2003.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. A Java-based Simulator for Ad Hoc Mobile Distributed Systems. International Workshop on Scientific Engineering of Distributed java Applications (FIDJI). Springer. 2002.
	Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Fernando Magno Quintão Pereira. A Coordination Model for Ad Hoc Mobile Systems and its Formal Semantics. 4th Brazilian Workshop on Wireless Communication and Mobile Computation (WCSF). 58 - 67. 2002.
	Fernando Magno Quintão Pereira, Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Uma Linguagem para Coordenação de Aplicações em Redes Móveis Ad-hoc. 6th Brazilian Symposium on Programming Languages. 152 - 165. SBC. 2002.
	Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Vladimir Oliveira de Iorio. Aplicações de Avaliação Parcial de Programas. LIV Reunião Nacional da Sociedade Brasileira pelo Progresso da Ciência. SBPC. 2002.
	Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Vladimir Oliveira de Iorio. Avaliação Parcial de Programas usando CMIX/II. 5th Brazilian Symposium on Programming Languages. SBC. C32 - C47. 2001.

Technical Reports

	Renato B. Hoffmann, Leonardo G. Faé, Dalvan Grieber, Xianliang David Li and Fernando Magno Quintão Pereira Automatic Synthesis of Specialized Hash Functions. The Federal University of Minas Gerais. LaC_05_2024. 2024.
	Michael Canesche, Gaurav Verma and Fernando Magno Quintão Pereira Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent. The Federal University of Minas Gerais. LaC_02_2024. 2024.
	Tarsila Bessa, Christopher Gull, Pedro Quintão, Michael Frank, José Nacif and Fernando Magno Quintão Pereira JetsonLEAP: a Framework to Measure Power on a Heterogeneous Sytem-on-a-Chip Device. The Federal University of Minas Gerais. LaC_03_2017. 2017.
	Bruno Morais Ferreira, Britaldo Silveira Soares-Filho and Fernando Magno Quintão Pereira The Dinamica EGO Virtual Machine. The Federal University of Minas Gerais. LaC_02_2017. 2017.
	Rodrigo Rocha Caetano, Fabrício Luís Goes and Fernando Magno Quintão Pereira Automatic Parallelization of Recursive Functions with Rewriting Rules. The Federal University of Minas Gerais. LaC_01_2017. 2017.
	Andre Tavares, Mariza Bigonha, Roberto S. Bigonha, Benoit Boissinot, Fernando M. Q. Pereira, Fabrice Rastello SSI revisited: A Program Representation for Sparse Data-flow Analyses. LLP001/2012. 2012.
	Fernando Magno Quintão Pereira, Wendell Figueiredo Taveira. A Java Based Simulator for the PeerSpaces Coordination Language. LLP002/2002. 2002.
	Fernando Magno Quintão Pereira. Uma Comparação entre Formalismos Utilizados para Especificações Semânticas. LLP001/2002. 2002.
	Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Implementação de um Gerador de Interpretadores de Uso Geral. LLP004/2001. 2001.
	Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Compilação de um Programa Escrito Em Linguagem Qualquer para Haskell. LLP002/2001. 2001.
	Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. Avaliação Parcial de Programas usando CMIX/II. LLP001/2000. 2000.

PhD Dissertations

	Andrei Rimsa Álvares. Practical Dynamic Reconstruction of Control Flow Graphs. PhD Dissertation. Universidade Federal de Minas Gerais. 2020.
	Mateus Tymburibá. Protections Against Attacks Based on Return-Oriented Programming. PhD Dissertation. Universidade Federal de Minas Gerais. 2020.
	Leandro T. C. Melo. Type Inference for C: Applications to the Analysis of Incomplete Programs. PhD Dissertation. Universidade Federal de Minas Gerais. 2019.
	Bruno Rodrigues Silva. Análise Esparsa de Fluxo de Informação. PhD Dissertation. Universidade Federal de Minas Gerais. 2016.

Master Dissertations

	Caio Vinícius Raposo Ribeiro. Memoization of Mutable Objects. MsC Dissertation. Universidade Federal de Minas Gerais. 2024.
	Luigi Domenico Cecchini Soares. Memory-Safe Elimination of Side Channels. MsC Dissertation. Universidade Federal de Minas Gerais. 2022. Watch the presentation's video.
	José Wesley de Souza Magalhães. Automatic Inspecition of Program State in an Uncooperative Environment. MsC Dissertation. Universidade Federal de Minas Gerais. 2021. Watch a short video about the work.
	João Saffran de Rezende. Reactive Methodologies for Infinite Text Processing. MsC Dissertation. Universidade Federal de Minas Gerais. 2021.
	Tarsila Bessa Nogueira Assunção. A Machine Learning Approach for Data Structure Selection. MsC Dissertation. Universidade Federal de Minas Gerais. 2021.
	Gleison Souza Diniz Mendonça. AutoParBench: A Framework for Parallel Code Verification. MSc Dissertation. Universidade Federal de Minas Gerais. 2020.
	Junio Cezar Ribeiro da Silva. Scheduling in Heterogeneous Architectures via Multivariate Linear Regression on Function Inputs. MSc Dissertation. Universidade Federal de Minas Gerais. 2019.
	Marcos Yukio Siraichi. Qubit Allocation MsC Dissertation. Universidade Federal de Minas Gerais. 2019.
	Pedro Henrique Ramos Costa. Automatic Mining of Tasks in Structured Programs MsC Dissertation. Universidade Federal de Minas Gerais. 2018.
	Marcelo Pereira Novaes. Hybrid Code Placement for Heterogeneous Architectures. MsC Dissertation. Universidade Federal de Minas Gerais. 2018.
	Marcus Rodrigues de Araújo. Geração Automatizada de Código Fonte Para Execução de Funções Isoladas em Linguagem C. MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
	Gabriel Poesia. Dynamic Dispatch of Context-Sensitive Optimizations MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
	Rubens Emílio Alves Moreira.Function Call Re-Vectorization MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
	Péricles Rafael Oliveira Alves. Enabling Code Optimizations Throught Hybrid Analysis of Memory Access Ranges. MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
	Vitor Mendes Paisante. Symbolic Range Analysis of Pointers. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
	Victor Hugo Sperle Campos. Restrictification of Function Arguments. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
	Kézia Corrêa Andrade Moreira. Anotação Automática de Código com Diretivas OpenACC. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
	Henrique Nazaré. Symbolic Range Analysis. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
	Francisco Demontiê dos Santos Junior. Geração de Casos de Testes para Linguagens com Aritimética de Ponteiros. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
	Douglas do Couto Teixeira. Optimizations for Graphics Processing Units. MsC Dissertation. Universidade Federal de Minas Gerais. 2015.
	Bruno Morais Ferreira. The Dinamica Virtual Machine For Geosciences. MsC Dissertation. Universidade Federal de Minas Gerais. 2015.
	Raphael Ernani Rodrigues. Scalable and Precise Range Analysis on the Interval Lattice. MsC Dissertation. Universidade Federal de Minas Gerais. 2014.
	Matheus Silva Vilela. Context-Aware Code Optimizations Based on Function Cloning. MsC Dissertation. Universidade Federal de Minas Gerais. 2014.
	Teo Milanez Brandão. Thread Synchronization in SIMD Hardware. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
	Igor Rafael de Assis Costa. Parameter-Based Speculative Value Specialization. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
	Diogo Nunes Sampaio. Divergence Analysis with Affine Constraints. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
	André Luiz Camargos Tavares. Alocação de Registradores Desacoplada Baseada em Coloração de Grafos com Compartilhamento Hierárquico. MsC Dissertation. Universidade Federal de Minas Gerais. 2011.
	Marcos Rodrigo Sol Souza. Eliminação de Testes de Overflow para Compiladores de Trilhas. MsC Dissertation. Universidade Federal de Minas Gerais. 2011.
	Andrei Rimsa Álvares. Algoritmo Eficiente de Análise Estática para Procurar Ataques do Tipo Variáveis Contaminadas. MsC Dissertation. Universidade Federal de Minas Gerais. 2010.
	Leonardo Luiz Padovani da Mata. Geração Automática de Código para Execução em um Ambiente de Computação Dataflow. MsC Dissertation. Universidade Federal de Minas Gerais. 2010.

Other documents

	A quick overview about the research that we do in our lab.
	New Optimization Sequences for Code-Size Reduction in LLVM.
	Slides used in the presentation of the paper Runtime Pointer Disambiguation (OOPSLA 2015).
	Slides used in the presentation of the paper Validation of Memory Accesses Through Symbolic Analyses (OOPSLA 2014).
	Slides used in the presentation of the paper Divergence Analysis with Affine Constraints in SBAC-PAD 2012.
	Presentation made for the paper A Fast and Low Overhead Way to Secure Programs Agains Integer Overflows (CGO 2013).
	Slides used in the presentation of the paper Divergence Analysis and Optimizations (PACT 2011).
	Slides used in the presentation of the paper Dynamic Elimination of Overflow Tests in a Trace Compiler (CC 2011).
	Slides used in the presentation of the paper Tainted Flow Analysis on E-SSA-form Programs (CC 2011).
	Slides used in the presentation of the paper Punctual Coalescing in CC 2010.
	This presentation is about punctual coalescing, the coalescing technique that I have used in conjunction with puzzle solving. This presentation is a very short talk on the subject, and was presented in our mini programming languages workshop.
	What is register allocation? This survey describes the many algorithms that are used in this important compiler optimization, with special emphasis on the new area of SSA-based register allocation.
	A presentation for the paper "Register Allocation via Coloring of Chordal Graphs", presented in APLAS'05.
	A presentation for the article Arcademis: a Framework for Middleware Development, SBRC 2004, Gramado, Brazil.
	Memoization of Mutable Objects. Caio Raposo and Fernando Magno Quint&aatilde;o Pereira. Technical Report 03/2024, UFMG.
	Adding Discretionary Access to Remote Method Invocation. Fernando Pereira and I-Hsuan Wu. Computer Security, CS239, Winter 2005, UCLA.
	Presentation for FOSSACS'06
	Presentation for PLDI'08
	Presentation for CC'08