Publications

Books

Fernando Magno Quintão Pereira. Register Allocation by Puzzle Solving. PhD Dissertation. University of California, Los Angeles. 2008.

Fernando Magno Quintão Pereira. Arcademis: um Arcabouço para Construção de Sistemas de Objetos Distribuídos em Java. Master Dissertation. Universidade Federal de Minas Gerais. 2004.

Journals

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.

Papers presented in conferences

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

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.

Dissertations from my students

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.

	A quick overview about the research that we do in the programming languages lab, at DCC-UFMG.
	A short class about software security, from a compiler writer's perspective.
	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, Gramados, Brasil.
	A presentation for the article Randomized Protocols for Asynchronous Consensus, James Aspnes, Distributed Computing, 16: 165 - 175, 2003
	A presentation of the essay "The Classification of Human Languages", Fernando Pereira, CS239, Spring 2005, UCLA
	An Essay on the Origin and Classification of Languages. Fernando Pereira. Human and Computer Languages, CS239, Spring 2005, UCLA.
	Adding Discretionary Access to Remote Method Invocation. Fernando Pereira and I-Hsuan Wu. Computer Security, CS239, Winter 2005, UCLA.
	A summary of the article Randomized Protocols for Asynchronous Consensus (James Aspnes). Distributed Algorithms, CS280D, Spring 2005, UCLA.
	Handouts of Origin and Classification of Languages. Fernando Pereira. Human and Computer Languages, CS239, Spring 2005, UCLA.
	Presentation for FOSSACS'06
	Presentation for PLDI'08
	Presentation for CC'08

	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.

	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.

	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.

	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.