Publications

Books

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

Download it 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

Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it Diogo Sampaio, Rafael M. Sousa, Sylvain Collange and Fernando Magno Quintão Pereira. Divergence Analysis TOPLAS, Volume 35, Issue 4, December 2013.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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

Download it Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli and Fernando Magno Quintáo Pereira. Static Placement of Computation on Heterogeneous Devices. OOPSLA. 2017.
Download it 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.
Download it 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.
Download it 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.
Download it Junio Cezar R. da Silva and Fernando Magno Quintáo Pereira. Demand-Driven Less-Than Analysis. SBLP. 2017.
Download it Rubens E. A. Moreira, Sylvain Collange and Fernando Magno Quintão Pereira. Function Call Re-Vectorization. PPoPP. 2017. (Slides: pdf, ppt)
Download it Maroua Maleej, Vitor Paisante, Pedro Ramos, Laure Gonnord and Fernando Magno Quintão Pereira. Pointer Disambiguation via Strict Inequalities. CGO. 2017.
Download it 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.
Download it 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.
Download it 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.
Download it Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré and Fernando Magno Quintão Pereira. Restrictification of Function Arguments. CC. 2016.
Download it Bruno Rodrigues, Diego Aranha and Fernando Magno Quintão Pereira. Sparse Representation of Implicit Flows with Applications to Side-Channel Detection. CC. 2016.
Download it Vitor Paisante, Maaroua Maleej, Laure Gonnord, Leonardo Barbosa and Fernando Magno Quintão Pereira. Symbolic Range Analysis of Pointers. CGO. 2016.
Download it 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.
Download it Pericles Rafael Alves, Fabian Gruber, Johannes Doerfert, Alexandros Labrineas, Tobias Grosser, Fabrice Rastello and Fernando Magno Quintão Pereira. Runtime Pointer Disambiguation. OOPSLA. 2015.
Download it Douglas do Couto Teixeira, Sylvain Collange and Fernando Magno Quintão Pereira. Fusion of Calling Sites. SBAC-PAD. 2015.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it Gabriel Silva Quadros and Fernando Magno Quintão Pereira. Static Detection of Address Leaks. The Eleventh Brazilian Symposium on Computer Security (SBSeg). 2011.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it Fernando Magno Quintão Pereira, Jens Palsberg. Punctual Coalescing 2010 International Conference on Compiler Construction (CC), 165 - 184.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it Fernando Magno Quintão Pereira, Jens Palsberg. Punctual Coalescing 2010 International Conference on Compiler Construction (CC), 165 - 184.
Download it 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.
Download it 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.
Download it Fernando Magno Quintão Pereira, Jens Palsberg. SSA Elimination after Register Allocation 2009 International Conference on Compiler Construction (CC). 158 - 173.
Download it Fernando Magno Quintão Pereira, Daniel Berlin. Wave Propagation and Deep Propagation for Pointer Analysis 2009 International Conference on Code Generation and Optimization (CGO).
Download it 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).
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it 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

Download it 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.
Download it 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.
Download it 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.
Download it 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.
Download it Fernando Magno Quintão Pereira, Wendell Figueiredo Taveira. A Java Based Simulator for the PeerSpaces Coordination Language. LLP002/2002. 2002.
Download it Fernando Magno Quintão Pereira. Uma Comparação entre Formalismos Utilizados para Especificações Semânticas. LLP001/2002. 2002.
Download it 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.
Download it 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.
Download it 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

Download it Gabriel Poesia. Dynamic Dispatch of Context-Sensitive Optimizations MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
Download it Rubens Emílio Alves Moreira. Function Call Re-Vectorization MsC Dissertation. Universidade Federal de Minas Gerais. 2017.
Download it Péricles Rafael Oliveira Alves. Enabling Code Optimizations Throught Hybrid Analysis of Memory Access Ranges. MsC Dissertation. Universidade Federal de Minas Gerais. 2017 (Slides).
Download it Vitor Mendes Paisante. Symbolic Range Analysis of Pointers. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
Download it Victor Hugo Sperle Campos. Restrictification of Function Arguments. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
Download it Bruno Rodrigues Silva. Análise Esparsa de Fluxo de Informação. PhD Dissertation. Universidade Federal de Minas Gerais. 2016.
Download it Kézia Corrêa Andrade Moreira. Anotação Automática de Código com Diretivas OpenACC. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
Download it Henrique Nazaré. Symbolic Range Analysis. MsC Dissertation. Universidade Federal de Minas Gerais. 2016.
Download it 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.
Download it Douglas do Couto Teixeira. Optimizations for Graphics Processing Units. MsC Dissertation. Universidade Federal de Minas Gerais. 2015.
Download it Bruno Morais Ferreira. The Dinamica Virtual Machine For Geosciences. MsC Dissertation. Universidade Federal de Minas Gerais. 2015.
Download it Raphael Ernani Rodrigues. Scalable and Precise Range Analysis on the Interval Lattice. MsC Dissertation. Universidade Federal de Minas Gerais. 2014.
Download it Matheus Silva Vilela. Context-Aware Code Optimizations Based on Function Cloning. MsC Dissertation. Universidade Federal de Minas Gerais. 2014.
Download it Teo Milanez Brandão. Thread Synchronization in SIMD Hardware. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
Download it Igor Rafael de Assis Costa. Parameter-Based Speculative Value Specialization. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
Download it Diogo Nunes Sampaio. Divergence Analysis with Affine Constraints. MsC Dissertation. Universidade Federal de Minas Gerais. 2013.
Download it 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.
Download it Marcos Rodrigo Sol Souza. Eliminação de Testes de Overflow para Compiladores de Trilhas. MsC Dissertation. Universidade Federal de Minas Gerais. 2011.
Download it 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.
Download it 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

Download it A quick overview about the research that we do in the programming languages lab, at DCC-UFMG.
Download it Slides used in the Panel held at CBSoft 2016: SBLP: Past, Present and Future. at CBSoft 2016.
Download it Slides used in the presentation of the paper An Algebraic Framework for Parallelizing Recurrence in Functional Programming. at SBLP 2016.
Download it Slides used in the presentation of our paper Restrictification of Function Arguments at CC 2016.
Download it Slides used in the presentation of our paper Sparse Representation of Implicit Flows with Applications to Side-Channel Detection at CC 2016.
Download it Slides used in the presentation of the paper Runtime Pointer Disambiguation (OOPSLA 2015).
Download it Slides used in the presentation of the paper Validation of Memory Accesses Through Symbolic Analyses (OOPSLA 2014).
Download it Slides used in the presentation of the paper Divergence Analysis with Affine Constraints in SBAC-PAD 2012.
Download it A short class about software security, from a compiler writer's perspective.
Download it Presentation made for the paper A Fast and Low Overhead Way to Secure Programs Agains Integer Overflows (CGO 2013).
Download it Slides used in the presentation of the paper Divergence Analysis and Optimizations (PACT 2011).
Download it Slides used in the presentation of the paper Dynamic Elimination of Overflow Tests in a Trace Compiler (CC 2011).
Download it Slides used in the presentation of the paper Tainted Flow Analysis on E-SSA-form Programs (CC 2011).
Download it Slides used in the presentation of the paper Punctual Coalescing in CC 2010.
Download it 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.
Download it 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.
Download it A presentation for the paper "Register Allocation via Coloring of Chordal Graphs", presented in APLAS'05.
Download it A presentation for the article Arcademis: a Framework for Middleware Development, SBRC 2004, Gramados, Brasil.
Download it A presentation for the article Randomized Protocols for Asynchronous Consensus, James Aspnes, Distributed Computing, 16: 165 - 175, 2003
Download it A presentation of the essay "The Classification of Human Languages", Fernando Pereira, CS239, Spring 2005, UCLA
Download it An Essay on the Origin and Classification of Languages. Fernando Pereira. Human and Computer Languages, CS239, Spring 2005, UCLA.
Download it Adding Discretionary Access to Remote Method Invocation. Fernando Pereira and I-Hsuan Wu. Computer Security, CS239, Winter 2005, UCLA.
Download it A summary of the article Randomized Protocols for Asynchronous Consensus (James Aspnes). Distributed Algorithms, CS280D, Spring 2005, UCLA.
Download it Handouts of Origin and Classification of Languages. Fernando Pereira. Human and Computer Languages, CS239, Spring 2005, UCLA.
Download it Presentation for FOSSACS'06
Download it Presentation for PLDI'08
Download it Presentation for CC'08

Última atualização: 07 de Julho de 2007.

Last update: July 7th, 2007.