+
+
+
+
+
+ |
+
+ Augusto Fernando, Menezes Gustavo, Marcondes Pablo, Fernando Pereira, Chi Hao, Marcos Jose, and Barbosa Leonardo. Defending Internet of Things against Exploits. Revista IEEE América Latina, vol. 13, issue 4, pages 1112-1119, 2015. ISSN 15480992.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+@article{Teixeira15,
+ author = {Fernando Teixeira and Gustavo Vieira and Pablo Fonseca and Fernando Pereira and Hao Wong and Marcos José Nogueira and Leonardo Oliveira},
+ journal = {IEEE Latin America Transactions},
+ title = {Defending Internet of Things against Exploits},
+ year = {2015},
+ pages = {1112-1119},
+ publisher = {IEEE}
+}
+
+ |
+
+
+
+
+
+
+ |
+
+Neto Antonio, Melo Leandro, Neto Omar, Pereira Fernando, and Barbosa Leonardo. Protecting Programs Against Memory Violation In Hardware. Revista IEEE América Latina, vol. 13, issue 3, pages 885-891, 2015. ISSN 15480992.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @article{Lemos15,
+ author = {Antonio Neto and Leandro Melo and Omar Neto and Fernando Pereira and Leonardo Barbosa},
+ journal = {IEEE Latin America Transactions},
+ title = {Protecting Programs Against Memory Violation In Hardware},
+ year = {2015},
+ pages = {885-891},
+ publisher = {IEEE}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Saggioro Felipe, Paisante Vitor, Rodrigues Raphel, Barbosa Leonardo, and Pereira Fernando. Crosschecking Distributed Data to Detect Integer Overflow. Revista IEEE América Latina, vol. 13, issue 4, pages 1083-1089, 2015. ISSN 15480992.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @article{Lemos15,
+ author = {Felipe Saggioro and Vitor Paisante and Raphel Rodrigues and Leonardo Barbosa and Fernando Pereira},
+ journal = {IEEE Latin America Transactions},
+ title = {Crosschecking Distributed Data to Detect Integer Overflow},
+ year = {2015},
+ pages = {1083-1089},
+ publisher = {IEEE}
+ }
+
+ |
+
+
+
+
+
+
+
+ |
+
+Cecília Kind, João Coelho, Bruno Kind and
+Fernando Magno Quintão Pereira.
+Geração Automática de Programas para Compilação Preditiva,
+SBLP, 2022.
+[BIBTEX]
+ |
+
+ |
+
+
+ @inproceedings{Kind22,
+ author = {Cecilia Kind and Joao Coelho and Bruno Kind and
+ Fernando Magno Quint\~{a}o Pereira},
+ title = {Geracao Automatica de Benchmarks para Compilacao Preditiva}
+ booktitle = {SBLP},
+ pages = {9--16},
+ year = {2022},
+ publisher = {ACM}
+}
+
+ |
+
+
+
+
+
+
+ |
+
+Thaís Damásio, Michael Canesche, Vinícius Pacheco,
+Anderson Faustino and Fernando Magno Quintão Pereira.
+Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas,
+SBLP, 2022.
+[BIBTEX]
+ |
+
+ |
+
+
+ @inproceedings{Damasio22,
+ author = {Thais Damasio and Michael Canesche and Vinicius Pacheco
+ and Anderson Faustino and
+ Fernando Magno Quint\~{a}o Pereira},
+ title = {Impacto de Ofuscadores e Otimizadores de Codigo na Acuracia de Classificadores de Programas}
+ booktitle = {SBLP},
+ pages = {1--8},
+ year = {2022},
+ publisher = {ACM}
+}
+
+ |
+
+
+
+
+
+
+
+
+ |
+
+Andrei Rimsa, José Nelson Amaral and
+Fernando Magno Quintão Pereira.
+Efficient and Precise Dynamic Construction of Control Flow Graphs,
+SBLP, pages 19-26, 2019.
+[BIBTEX]
+ |
+
+ |
+
+
+ @inproceedings{Rimsa19,
+ author = {Andrei \'{A}lvares Rimsa and Jose Nelson Amaral and
+ Fernando Magno Quint\~{a}o Pereira},
+ title = {Efficient and Precise Dynamic Construction of Control Flow Graphs}
+ booktitle = {SBLP},
+ pages = {19--26},
+ year = {2019},
+ publisher = {ACM}
+}
+
+ |
+
+
+
+
+
+
+
+ |
+
+Breno Ferreira Campos Guimarães, José Wesley Sousa
+Magalhães, Anderson Faustino da Silva and
+Fernando Magno Quintão Pereira.
+Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories,
+SBLP, pages 62-69, 2019.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Guimaraes19,
+ author = {Breno Ferreira Campos Guimar\~{a}es and Jos\'{e} Wesley
+ Sousa Magalh\~{a}es and Fernando Magno Quint\~{a}o Pereira},
+ title = {Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories}
+ booktitle = {SBLP},
+ pages = {62--69},
+ year = {2019},
+ publisher = {ACM}
+}
+
+ |
+
+
+
+
+
+
+
+
+ |
+
+Pedro Ramos, Gleison Souza Diniz Mendonça, Guilherme V. Leobas and
+Fernando Magno Quintão Pereira.
+Taskminer: automatic identification of tasks,
+SBLP, pages 11-18, 2018.
+[BIBTEX]
+ |
+
+
+ |
+
+
+ @inproceedings{Ramos18,
+ author = {Pedro Ramos and Gleison Souza Diniz Mendon\c{c}a and
+ Guilherme V. Leobas and Fernando Magno Quint\~{a}o Pereira},
+ title = {Taskminer: automatic identification of tasks}
+ booktitle = {SBLP},
+ pages = {11-18},
+ year = {2018},
+ publisher = {SBC}
+}
+
+ |
+
+
+
+
+
+
+ |
+
+Hugo Sousa e Mateus Tumburibá
+Análise Dinâmica de Programas Binários,
+Jornada de Atualização em Informática, Brasil, 2018.
+[BIBTEX]
+ |
+
+
+ |
+
+
+ @inproceedings{Tymbu18,
+ author = {Hugo Sousa and Mateus Tymburiba},
+ title = {Analise Dinamica de Programas Binarios}
+ booktitle = {JAI - CSBC},
+ year = {2018},
+ publisher = {SBC}
+}
+
+ |
+
+
+
+
+
+
+
+
+
+ |
+
+Carina Capelão de Oliveira, Glauco Gonçalves Cardoso and
+Fernando Magno Quintão Pereira.
+Aplicação Dinâmica de Políticas Estáticas
+de Fluxo,
+Brasília, SBSeg,Brasil, 2017.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Capelao17b,
+ author = {Carina Capelao de Oliveira and Glauco Goncalves Cardoso
+ and Fernando Magno Quintao Pereira},
+ title = {Aplicação Dinâmica de Políticas Estáticas
+de Fluxo}
+ booktitle = {SBSeg},
+ year = {2017},
+ publisher = {SBC}
+}
+
+ |
+
+
+
+
+
+
+
+ |
+
+Carina Capelão de Oliveira, Glauco Gonçalves Cardoso and
+Fernando Magno Quintão Pereira.
+InspectorJ: Uma Ferramenta de Análise Estática para Dectar
+Código não Isócrono em Programas Java,
+Fortaleza, CBSoft Tools,Brasil, 2017 (Best Paper!).
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Capelao17a,
+ author = {Carina Capelao de Oliveira and Glauco Goncalves Cardoso
+ and Fernando Magno Quintao Pereira},
+ title = {InspectorJ: Uma Ferramenta de Análise Estática para Dectar
+Código não Isócrono em Programas Java}
+ booktitle = {Congresso Brasileiro de Software - Sessão de
+ Ferramentas},
+ year = {2017},
+ publisher = {SBC}
+}
+
+ |
+
+
+
+
+
+
+
+ |
+
+Marcus Rodrigues de Araújo, Leandro Terra Cunha Melo and Fernando Magno
+Quintão Pereira. Inferência de Tipos Dependentes em C. Simpósio Brasileiro de Linguagens de Programaçãos, Fortaleza, Brasil, 2017.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Marcus17SBLP,
+ author = {Marcus Rodrigues de Araújo, Leandro Terra Cunha Melo and Fernando Magno
+Quintão Pereira},
+ title = {Inferência de Tipos Dependentes em C.},
+ booktitle = {Simposio Brasileiro de Linguagens de Programacao – SBLP 2017},
+ year = {2017},
+ publisher = {SBC}
+}
+
+ |
+
+
+
+
+
+
+
+ |
+
+ Kézia Correa Andrade Moreira, Gleison Souza Diniz Mendonça,
+ Breno Campos Ferreira Guimarães and Fernando Magno
+ Quintão Pereira
+ Paralelização Automatica de Codigo com Diretivas
+ OpenACC
+ XX Simpósio Brasileiro de Linguagens de Programação.
+ Maringá, Brasil, 2016.
+ [BIBTEX]
+ [SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Andrade16,
+ author = {Kezia Correa Andrade Moreira and Gleison
+ Souza Diniz Mendonca and Breno Campos Ferreira Guimaraes and
+ and Pericles Rafael de Oliveira Alves and Fernando Magno
+ Quintao Pereira},
+ title = {Paralelizacao Automatica de Codigo com
+ Diretivas {OpenACC}},
+ booktitle = {SBLP},
+ year = {2016},
+ pages = {32--47},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+ Rodrigo Geraldo Ribeiro, Leandro Terra Cunha Melo, Marcus Rodrigues de
+ Araújo and Fernando Magno Quintão Pereira
+ Compilação Parcial de Programas Escritos em C
+ XX Simpósio Brasileiro de Linguagens de Programação.
+ Maringá, Brasil, 2016.
+ [BIBTEX]
+ [SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Ribeiro16,
+ author = {Rodrigo Geraldo Ribeiro and Leandro Terra
+ Cunha Melo and Marcus Rodrigues de Araujo and Fernando Magno
+ Quintao Pereira},
+ title = {Compilacao Parcial de Programas Escritos em {C}},
+ booktitle = {SBLP},
+ year = {2016},
+ pages = {16--31},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+ Rubens Emílio Alves Moreira, Sylvain Collange and Fernando Magno
+ Quintão PereiraDefinição Semântica de
+ Blocos Everywhere para Programação SIMD
+ XX Simpósio Brasileiro de Linguagens de Programação.
+ Maringá, Brasil, 2016.
+ [BIBTEX]
+ [SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Moreira16,
+ author = {Rubens Emilio and Sylvain Collange and Fernando Magno Quintao Pereira},
+ title = {Definicao Semantica de Blocos Everywhere para Programacao {SIMD}},
+ booktitle = {XX Simpósio Brasileiro de Linguagens de Programação},
+ year = {2016},
+ pages = {1--15},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+ Breno Campos Ferreira Guimarães,
+ Gleison Souza Diniz Mendonça and
+ Fernando Magno Quintão Pereira
+ DawnCC: a Source-to-Source Automatic Parallelizer of C and C++
+ Programs.
+ CBSoft Tools.
+ Maringá, Brasil, 2016.
+ [BIBTEX]
+ [SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Guimaraes16,
+ author = {Breno Campos Ferreira Guimaraes and
+ Gleison Souza Diniz Mendonca and
+ Pericles Rafael de Oliveira Alves and
+ Fernando Magno Quintao Pereira},
+ title = {DawnCC: a Source-to-Source Automatic
+ Parallelizer of C and C++ Programs},
+ booktitle = {CBSoft Tools},
+ year = {2016},
+ pages = {1--8},
+ }
+
+ |
+
+
+
+
+
+
+
+ |
+
+Campos Victor, Alves Péricles, and Pereira Fernando. Restritificação. Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Campos15,
+ author = {Victor Campos and Péricles Alves and Fernando Pereira},
+ title = {Restritificação},
+ year = {2015},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Douglas Couto, Kezia Andrade, Gleison Souza, and Fernando Pereira. Etino: Colocação Automática de Computação em Hardware Heterogêneo. Simpósio Brasileiro de Linguagens de Programação, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Couto15,
+ author = {Douglas Couto and Kezia Andrade and Gleison Souza and Fernando Pereira},
+ title = {Etino: Colocação Automática de Computação em Hardware Heterogêneo},
+ year = {2015},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Rubens Emílio, Mateus Tymburibá, and Fernando Pereira. RipRop: A Dynamic Detector of ROP Attacks. CBSoft Tools, pages 9-16, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Emílio15,
+ author = {Rubens Emílio and Mateus Tymburibá and Fernando Pereira},
+ title = {RipRop: A Dynamic Detector of ROP Attacks},
+ booktitle = "CBSoft Tools",
+ year = {2015},
+ pages = {9-16},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Bruno Silva, Leonardo Ribeiro, and Fernando Pereira. FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo. CBSoft Tools, pages 97-104, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Silva15,
+ author = {Bruno Silva and Leonardo Ribeiro and Fernando Pereira},
+ title = {FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo},
+ booktitle = "CBSoft Tools",
+ year = {2015},
+ pages = {97-104},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Douglas Couto, Kezia Andrade, Gleison Souza, and Fernando Pereira. Etino: Colocação Automática de Computação em Hardware Heterogêneo. CBSoft Tools, pages 65-72, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Couto15b,
+ author = {Douglas Couto and Kezia Andrade and Gleison Souza, and Fernando Pereira},
+ title = {Etino: Colocação Automática de Computação em Hardware Heterogêneo},
+ booktitle = "CBSoft Tools",
+ year = {2015},
+ pages = {65-72},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Victor Campos, Pericles Alves and Fernando Pereira. Restrictifier: a tool to disambiguate pointers at function call sites. CBSoft Tools, pages 89-96, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Campos15,
+ author = {Victor Campos and Pericles Rafael and Fernando Pereira},
+ title = {Restrictifier: a tool to disambiguate pointers at function call sites},
+ booktitle = "CBSoft Tools",
+ year = {2015},
+ pages = {89-96},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Junio Cezar, Francisco Demontie, Mariza Bigonha, and Fernando Pereira. Asymptus - A Tool for Automatic Inference of Loop Complexity. CBSoft Tools, pages 89-96, Belo Horizonte, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Cezar15,
+ author = {Junio Cezar and Francisco Demontie and Mariza Bigonha and Fernando Pereira},
+ title = {Asymptus - A Tool for Automatic Inference of Loop Complexity},
+ booktitle = "CBSoft Tools",
+ year = {2015},
+ pages = {89-96},
+ publisher = "SBLP",
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+ Rubens Emilio, Mateus Tymburiba, and Fernando Pereira. Inferênica Estática da Frequência Máxima de Instruções de Retorno para Detecção de Ataques ROP.
+ XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, vol. 1, issue 1, pages 2-15, Florianópolis, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Emilio15,
+ author = {XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais},
+ title = {XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais},
+ booktitle = {XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2015},
+ pages = {2-15},
+ year = {2015},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Bruno Silva, Diego Aranha, and Fernando Pereira. Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo. XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, vol. 1, issue 1, pages 16-29, Florianópolis, Brasil, 2015.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Silva15,
+ author = {Bruno Silva and Diego Aranha and Fernando Pereira},
+ title = {Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo},
+ booktitle = {XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2015},
+ pages = {16-29},
+ year = {2015},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+
+ |
+
+Vitor Paisante, Zafra Felipe, Rodrigues E., Leonardo Oliveira, and Fernando Pereira. Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, Belo Horizonte, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Paisante13,
+ author = {Vitor Paisante and Zafra Felipe and Rodrigues E. and Leonardo Oliveira and Fernando Pereira},
+ title = {Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos},
+ booktitle = {XIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais — SBSeg 2013},
+ year = {2013},
+ pages = {101-155},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Bruno Silva, Fernando Pereira, Leonardo Barbosa, and Antônio Loureiro. Flow Tracking: Uma ferramenta para detecção de vazamento de informações sigilosas. CBSoft Tools, Brasília, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Silva13,
+ author = {Bruno Silva and Fernando Pereira and Leonardo Barbosa and Antônio Loureiro},
+ title = {Flow Tracking: Uma ferramenta para detecção de vazamento de informações sigilosas},
+ booktitle = {CBSoft Tools},
+ year = {2013}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Guilherme Balena, Matheus Vilela, and Fernando Pereira. Resolução de Bugs de Desempenho via Clonagem de Funções. Simpósio Brasileiro de Linguagens de Programação, vol. 1, issue 1, pages 1-20, Brasília, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Balena13,
+ author = {Guilherme Balena and Matheus Vilela and Fernando Pereira},
+ title = {Resolução de Bugs de Desempenho via Clonagem de Funções},
+ booktitle = {Simpósio Brasileiro de Linguagens de Programação},
+ year = {2013},
+ pages = {1-20},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Raphael Rodrigues and Fernando Pereira. Prevenção Automática de Ataques de Não-Terminação. Simpósio Brasileiro de Linguagens de Programação, vol. 1, issue 1, pages 21-40, Brasília, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Rodrigues13,
+ author = {Raphael Rodrigues and Fernando Pereira},
+ title = {Prevenção Automática de Ataques de Não-Terminação},
+ booktitle = {Simpósio Brasileiro de Linguagens de Programação},
+ year = {2013},
+ pages = {21-40},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Izabela Kareninna, Fernando Pereira, and Leonardo Barbosa. Detecção Automática de Vulnerabilidades em Código Protegido por Canários. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 1-14, Manaus, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Kareninna13,
+ author = {Izabela Kareninna and Fernando Pereira and Leonardo Barbosa},
+ title = {Detecção Automática de Vulnerabilidades em Código Protegido por Canários},
+ booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
+ year = {2013},
+ pages = {1-14},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Bruno Silva, Fernando Pereira, and Leonardo Barbosa. Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 15-28, Manaus, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Silva13,
+ author = {Bruno Silva and Fernando Pereira and Leonardo Barbosa},
+ title = {Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação},
+ booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
+ year = {2013},
+ pages = {15-28},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Henrique Santos, Fernando Pereira, and Leonardo Barbosa. Verificação Estática de Acessos a Arranjos em C. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, vol. 1, issue 1, pages 29-42, Manaus, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Santos13,
+ author = {Henrique Santos and Fernando Pereira and Leonardo Barbosa},
+ title = {Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos},
+ booktitle = {Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais},
+ year = {2013},
+ pages = {29-42},
+ publisher = {SBC}
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+Matheus Vilela and Fernando Pereira. Otimizações de Código Sensíveis ao Contexto de Chamada. Workshop de Teses de Disertações do CBSoft, vol. 1, issue 1, pages 1-6, Brasília, Brasil, 2013.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Vilela13,
+ author = {Matheus Vilela and Fernando Pereira},
+ title = {Otimizações de Código Sensíveis ao Contexto de Chamada},
+ booktitle = {Workshop de Teses de Disertações do CBSoft},
+ year = {2013},
+ pages = {1-6},
+ }
+
+ |
+
+
+
+
+
+
+
+ |
+
+Fernando Pereira, Roberto Bigonha, Mariza Bigonha, and Vladimir Iorio. Avaliação Parcial de Programas usando CMIX/II. V Simpósio Brasileiro de Linguagens de Programação, pages C-32-C-47, Curitiba, Brasil, 2001.
+[BIBTEX]
+[SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Pereira01a,
+ author = {Fernando Pereira and Roberto Bigonha and Mariza Bigonha and Vladimir Iorio},
+ title = {Avaliação Parcial de Programas usando CMIX/II},
+ booktitle = {V Simpósio Brasileiro de Linguagens de Programação},
+ year = {2001},
+ pages = {C-32-C-47},
+ }
+
+ |
+
+
+
+
+
+
+ |
+
+ Fernando Pereira, Marco Valente, Roberto Bigonha, and Mariza Bigonha. Uma Linguagem para Coordenação de Aplicações em Redes Móveis. VI Simpósio Brasileiro de Linguagens de Programação, Rio de Janeiro, Brasil, 2001.[BIBTEX]
+ [SLIDES]
+ |
+
+
+ |
+
+
+ @inproceedings{Pereira01,
+ author = {Fernando Pereira and Marco Valente and Roberto Bigonha and Mariza Bigonha},
+ title = {Uma Linguagem para Coordenação de Aplicações em Redes Móveis},
+ booktitle = {VI Simpósio Brasileiro de Linguagens de Programação},
+ year = {2001},
+ publisher = {SBLP}
+ }
+
+ |
+
+