Gustavo Maciel Dias Vieira
Possui graduação em Engenharia de Computação pela Universidade Estadual de Campinas(1998), mestrado em Ciência da Computação pela Universidade Estadual de Campinas(2001) e doutorado em Ciência da Computação pela Universidade Estadual de Campinas(2010). Atualmente é Professor Adjunto da Universidade Federal de São Carlos. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Programação. Atuando principalmente nos seguintes temas:tolerância a falhas, middleware, algoritmos distribuídos, consenso, replicação.
Informações coletadas do Lattes em 01/12/2025
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2005 - 2010
Universidade Estadual de Campinas
Título: Uma Arquitetura de Software para Replicação Baseada em Consenso
, Ano de obtenção: 2010. Luiz Eduardo Buzato. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: tolerância a falhas; middleware; algoritmos distribuídos; consenso; replicação.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Programação / Especialidade: Sistemas Distribuídos.
Mestrado em Ciência da Computação
1999 - 2001
Universidade Estadual de Campinas
Título: Estudo Comparativo de Algoritmos para Checkpointing
, Ano de Obtenção: 2001.Luiz Eduardo Buzato.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: tolerância a falhas; checkpoints globais consistentes; monitorização; recuperação por retrocesso; simulação.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Programação / Especialidade: Sistemas Distribuídos.
Graduação em Engenharia de Computação
1994 - 1998
Universidade Estadual de Campinas
Título: Determinação de Estados Globais Consistentes em Sistemas Distribuídos
Orientador: Luiz Eduardo Buzato
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Programação/Especialidade: Sistemas Distribuídos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos Distribuídos.
Participação em eventos
Congresso de Iniciação Científica CIC/CIDTI/CIC-EM 2024. Iniciação Científica Sem Mistério: Um Guia de Sobrevivência. 2024. (Congresso).
HackoonWeek 2024.Na Corda Bamba sem Rede de Segurança: Segurança de Memória e Software Básico. 2024. (Encontro).
HackoonWeek 2023.Mantendo Honestos os Honestos: Ataques Analógicos e Digitais a Fechaduras Físicas. 2023. (Encontro).
SBRC '23: 41º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2023. (Simpósio).
Simpósio Brasileiro de Banco de Dados.Replicação descentralizada em bancos de dados distribuídos usando o algoritmo Paxos. 2023. (Simpósio).
XXIV Workshop de Testes e Tolerância a Falhas.Evolving Paxos for the Non-Malicious Arbitrary Model. 2023. (Oficina).
HackoonWeek 2021.São 21h, Você Sabe Onde Seu Compilador Está?. 2021. (Encontro).
HackoonWeek 2020.Tudo o que você gostaria de saber sobre o boot UEFI, mas tinha vergonha de perguntar. 2020. (Encontro).
SBRC '19: 37º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2019. (Simpósio).
XVIII Workshop em Desempenho de Sistemas Computacionais e de Comunicação.Characterizing Synchronous Writes in Stable Memory Devices. 2019. (Oficina).
XX Workshop de Testes e Tolerância a Falhas.Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos. 2019. (Oficina).
SBRC '18: 36º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2018. (Simpósio).
SBRC '17: 35º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.Quality of Service of an Asynchronous Crash-Recovery Leader Election Algorithm. 2017. (Simpósio).
2015 Brazilian Symposium on Computing Systems Engineering (SBESC). 2015. (Simpósio).
1ª Escola Preparatória para Futuros Cientistas (EPFC).Fundamentos de Pesquisa Bibliográfica com Google Scholar. 2013. (Oficina).
SBRC '09: 27º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.The performance of Paxos and Fast Paxos. 2009. (Simpósio).
SBRC '08: 26º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.Treplica: Ubiquitous replication. 2008. (Simpósio).
SBRC '06: 24º Simpósio Brasileiro de Redes de Computadores.Distributed checkpointing: Analysis and benchmarks. 2006. (Simpósio).
4º Fórum Internacional de Sofware Livre. Bossa: Workflow em Java (4º FISL). 2003. (Congresso).
Semana Software Livre do Legislativo. Bossa: Workflow em Java (Semana SW Livre Legislativo). 2003. (Congresso).
1º Workshop de Teses e Dissertações em Computação Tolerante a Falhas.Metapromela: A toolkit for simulation of checkpoint algorithms. 2001. (Oficina).
Congresso Fenasoft 2001. Tradução do GNOME para o Português. 2001. (Congresso).
SCTF '01: IX Simpósio de Computação Tolerante à Falhas.Systematic analysis of index-based checkpointing algorithms using simulation. 2001. (Simpósio).
Participação em bancas
CAMARGOS, L. J.VIEIRA, G. M. D.; COELHO, P. R. S. L.. Fault-Tolerant Generic Multicast Algorithms for Wide Area Networks. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
VERDI, F. L.; SANTOS, M.;VIEIRA, G. M. D.. Improving Load Balancing in Virtualized Environments using Pearson?s Correlation. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
CAMARGOS, L. J.VIEIRA, G. M. D.; FAINA, L. F.. A Faithful Generalized Paxos Implementation and a Novel CStruct for Distributed Lease Coordination. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
GARCIA, I. C.VIEIRA, G. M. D.BITTENCOURT, L. F.. Mecanismos de Escalonamento de Aplicações MapReduce de Diferentes Prioridades. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
GUIMARAES, J. O.; COSTA, M. C. B.;VIEIRA, G. M. D.. Codegs: um Tipo Especial de Metaobjetos em Cyan. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
CAMARGOS, L. J.; ALCHIERI, E.; FAINA, L. F.;VIEIRA, G. M. D.; PASQUINI, R.. Implementação e Avaliação do Protocolo de Difusão Atômica Rápida à Despeito de Colisões. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
GUIMARAES, J. O.DURHAM, A. M.; COSTA, M. C. B.;VIEIRA, G. M. D.. IPS: um Plug-in para Templates de Código Associativos. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.ALBERTI, A. M.VIEIRA, G. M. D.. Implementação Inicial da RFC 6897. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.KAMIENSKI, C. A.VIEIRA, G. M. D.. libfluid: a lightweight OpenFlow framework. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
GARCIA, I. C.LEJBMAN, A. G. V.BUZATO, L. E.VIEIRA, G. M. D.MADEIRA, E. R. M.. Uma Solução de Alta Disponibilidade para o Sistema de Arquivos Distribuído Hadoop. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
BUZATO, L. E.CAMARGOS, L. J.MADEIRA, E. R. M.VIEIRA, G. M. D.GARCIA, I. C.. Protocolo de Difusão Síncrona Totalmente Ordenada para Aglomerados de Alto Desempenho. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
BUZATO, L. E.; PEDONE, F.; DOTTI, F. L.;MADEIRA, E. R. M.GARCIA, I. C.ANIDO, R. O.; ARAUJO, G. C. S.;VIEIRA, G. M. D.. The role of synchrony on the performance of Paxos. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.
MADEIRA, E. R. M.SANTANA, M. J.TOLEDO, M. B. F.BITTENCOURT, L. F.GARCIA, I. C.MEDEIROS, C. B.VIEIRA, G. M. D.. Novas Técnicas de Distribuição de Carga para Servidores Web Geograficamente Distribuídos. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.
MADEIRA, E. R. M.GARCIA, I. C.VIEIRA, G. M. D.ANIDO, R. O.RICARTE, I. L. M.. Uma Exploração do Papel da Sincronia no Desempenho de Paxos. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.
VERDI, F. L.; MARTINELLO, M.;VIEIRA, G. M. D.. Uma proposta para reroteamento rápido em planos de dados programáveis. 2021. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.VIEIRA, G. M. D.MADEIRA, E. R. M.. Uma Arquitetura Integrada para Suporte à Alta Disponibilidade em Sistemas NFV. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
GUIMARAES, J. O.VIEIRA, G. M. D.; ZAINA, L. A. M.. Codeg: Um Tipo Especial de Meta-Objeto em Cyan. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.VIEIRA, G. M. D.VENTURINI, Y. R.. Monitoramento e Re-Roteamento de Fluxos Elefantes em Redes de Datacenters. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
GONZALEZ, S. M.ALMEIDA, T. A.VIEIRA, G. M. D.. Processamento Massivo de Dados para a Auditoria dos Indicadores de Qualidade dos Serviços de Telecomunicações no Brasil. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
GUIMARAES, J. O.VIEIRA, G. M. D.VENTURINI, Y. R.. Sistema de Programação Intuitiva. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
GUIMARAES, J. O.SAKATA, T. C.VIEIRA, G. M. D.. Macros em Cyan. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.VIEIRA, G. M. D.VENTURINI, Y. R.. Desenvolvimento de um middleware orquestrador para redes OpenFlow com múltiplos controladores. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.ROTHENBERG, C. E.VIEIRA, G. M. D.VENTURINI, Y. R.. Improving SDN Protocol Drivers by Separating the Connectivity and Messaging Layers. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.SAKATA, T. C.VIEIRA, G. M. D.. Monitoramento de Ambientes Cloud Computing: Monitorando Servidores em Cloud para Migração de Máquinas Virtuais. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
VERDI, F. L.VIEIRA, G. M. D.VENTURINI, Y. R.. Gerenciamento de Fluxos Elefantes usando o Protocolo MP-TCP. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
SAKATA, T. C.VENTURINI, Y. R.VIEIRA, G. M. D.HOMEM, M. R. P.. Análise de Algoritmos Paralelos de ECC em Dispositivos Móveis Multicore. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.
M. D. Vieira, GustavoALMEIDA, T. A.; LUCREDIO, D.. Membro da banca do processo seletivo simplificado de professor substituto. Área: ciências exatas e naturais. Sub-área: Ciência da Computação Edital No 074/2. 2023. Universidade Federal de São Carlos.
VIEIRA, G. M. D.. Membro da banca do processo seletivo simplificado de professor substituto. Área: ciências exatas e naturais. Sub-área: Ciência da Computação, algoritmos e estruturas de dados. Edital No 051/2011.. 2011. Universidade Federal de São Carlos.
Orientou
Manipulação e Seriação de Dados em Rust; Início: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
Aplicação de testes Jepsen sobre o framework de replicação Treplica; Início: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; (Orientador);
Replicação Síncrona para Sistemas de Armazenamento Chave-valor em Memória Primária; 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Validação Distribuída do Algoritmo Paxos no Modelo Arbitrário Não Malicioso; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Desenvolvimento das Fundações para Acessibilidade em Ambiente pré-OS; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Replicação Orientada a Metaprogramação; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Coorientador: Gustavo Maciel Dias Vieira;
Eleição de Líder com Qualidade de Serviço para o Modelo Falha-e-Recuperação; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Gustavo Maciel Dias Vieira;
Um Sistema de Monitoramento para Caracterização de Algoritmos Distribuídos; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Achieving Non-Malicious Arbitrary Fault Tolerance in Paxos Through Hardening Techniques; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Uma Solução de Reconfiguração Leve para Paxos; 2015; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos, ; Orientador: Gustavo Maciel Dias Vieira;
Multicasting UDP para uso em sistemas distribuídos em Rust; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Uma nova implementação do módulo Secretary do framework Treplica; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Write-Ahead Log e Rust; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Desempenho e Consistência de Banco de Dados Chave-Valor Persistentes; 2022; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistemas) - Faculdade de Tecnologia de São Paulo; Orientador: Gustavo Maciel Dias Vieira;
Qualidade de Detectores de Falhas no Algoritmo Paxos; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Abordagens de Reconfiguração em Sistemas Distribuídos Tolerantes a Falhas que utilizam Consenso; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Agrupamento Ótimo de Escritas em Memória Secundária para o Algoritmo Paxos; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Gerência de Filas de Rede para o Algoritmo Paxos; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Gustavo Maciel Dias Vieira;
Avaliação do Desempenho de Algoritmos que Toleram Falhas; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Collision Fast Paxos e Gerência de Grupos de Processos; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Gustavo Maciel Dias Vieira;
Caracterização de Desempenho de Escritas Sequenciais em Memória Secundária; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Replicação de uma Máquina de Workflow de Alto Desempenho; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Gustavo Maciel Dias Vieira;
Reconfiguração autônoma do algoritmo Paxos; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Estudo da Biblioteca de Replicação Treplica; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Qualidade de Detectores de Falhas no Algoritmo Paxos; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Gustavo Maciel Dias Vieira;
Validação de Consistência em Aplicações Replicadas; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Gustavo Maciel Dias Vieira;
Produções bibliográficas
-
UGLIARA, FELLIPE A. ; VIEIRA, GUSTAVO M.D. ; GUIMARÃES, JOSÉ DE O. . Transparent replication using metaprogramming in Cyan. SCIENCE OF COMPUTER PROGRAMMING , v. 200, p. 102531, 2020.
-
VIEIRA, GUSTAVO M. D. ; GARCIA, ISLENE C. ; BUZATO, LUIZ E. . Seamless Paxos coordinators. Cluster Computing , v. 17, p. 463-473, 2014.
-
VIEIRA, G. M. D. ; BUZATO, L. E. . On the coordinator's rule for Fast Paxos. Information Processing Letters (Print) , v. 107, p. 183-187, 2008.
-
DOS SANTOS, ENRIQUE ; BARBIERI, R. R. ; VIEIRA, G. M. D. . Evolving Paxos for the Non-Malicious Arbitrary Model. In: XXIV Workshop de Testes e Tolerância a Falhas, 2023, Brasília, Brasil. Anais do Workshop de Testes e Tolerância a Falhas (WTF), 2023. p. 52-65.
-
P. FERREIRA, DANILO J. ; GONZÁLEZ, SAHUDY M. ; M. D. Vieira, Gustavo . Replicação descentralizada em bancos de dados distribuídos usando o algoritmo Paxos. In: Simpósio Brasileiro de Banco de Dados, 2023, Brasil. Anais do XXXVIII Simpósio Brasileiro de Banco de Dados (SBBD 2023). p. 282.
-
BARBIERI, RODRIGO ; DOS SANTOS, ENRIQUE ; MACIEL DIAS VIEIRA, GUSTAVO . Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos. In: XX Workshop de Testes e Tolerância a Falhas, 2019, Gramado, Brasil. Anais do Workshop de Testes e Tolerância a Falhas (WTF), 2019. p. 34-47.
-
MINGARDI, WILLIAM B. ; VIEIRA, GUSTAVO M. D. . Characterizing Synchronous Writes in Stable Memory Devices. In: XVIII Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2019, Belém, Brasil. Anais do Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2019.
-
REIS, V. A. ; VIEIRA, G. M. D. . Quality of Service of an Asynchronous Crash-Recovery Leader Election Algorithm. In: SBRC '17: 35º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém, PA. SBRC '17: 35º Simpósio Brasileiro de Redes de Computadores. Porto Alegre, RS: Sociedade Brasileira de Computação, 2017. p. 1089-1102.
-
UGLIARA, FELLIPE AUGUSTO ; VIEIRA, GUSTAVO MACIEL DIAS ; DE OLIVEIRA GUIMARÃES, JOSÉ . Transparent Replication Using Metaprogramming in Cyan. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1-8.
-
MACHADO, RAFAEL RODRIGUES ; VIEIRA, GUSTAVO MACIEL DIAS . UEFI BIOS Accessibility for the Visually Impaired. In: 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017, Curitiba. 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017. p. 155-160.
-
FACHINI, E. E. ; VIEIRA, G. M. D. . MSPlus: Monitoramento de Algoritmos Distribuídos com Alta Granularidade. In: Salão de ferramentas do SBRC '15: 33º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2015, Vitória, Brasil. SBRC '15: 33º Simpósio Brasileiro de Redes de Computadores, 2015.
-
BARBIERI, RODRIGO R. ; VIEIRA, GUSTAVO M.D. . Hardened Paxos through Consistency Validation. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015. p. 13-18.
-
PAULA, A. P. ; VIEIRA, G. M. D. . Tornando Paxos Mais Escalável com Réplicas Leitoras. In: WPerformance '14: XIII Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2014, Brasília, Brasil. Anais do WPerformance '14: XIII Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2014. p. 2014-2018.
-
SILVA, V. L. ; VIEIRA, G. M. D. . Validação de Consistência em Aplicações Replicadas. In: IX Workshop de Trabalhos de Iniciação Científica (WTIC) do WebMedia 2012, 2012, São Paulo. Anais dos Workshops e Mini Cursos do Webmedia 2012, 2012. p. 83-86.
-
VIEIRA, G. M. D. ; BUZATO, L. E. . The performance of Paxos and Fast Paxos. In: SBRC '09: 27º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2009, Recife, Brasil. SBRC '09: 27º Simpósio Brasileiro de Redes de Computadores, 2009. p. 291-304.
-
BUZATO, L. E. ; VIEIRA, G. M. D. ; ZWAENEPOEL, W. . Dynamic Content Web Applications: Crash, Failover, and Recovery Analysis. In: DSN 2009, 2009, Estoril, Portugal. DSN 2009, 2009. p. 229-238.
-
SUPRIANO, A. ; VIEIRA, G. M. D. ; BUZATO, L. E. . Evaluation of a read-optimized database for dynamic web applications. In: WEBIST 2008: Fourth International Conference on Web Information Systems and Technologies, 2008, Funchal, Portugal. WEBIST 2008: Fourth International Conference on Web Information Systems and Technologies, 2008. v. 1. p. 73-81.
-
VIEIRA, G. M. D. ; BUZATO, L. E. . Treplica: Ubiquitous replication. In: SBRC '08: 26º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2008, Rio de Janeiro, Brasil. SBRC '08: 26º Simpósio Brasileiro de Redes de Computadores, 2008.
-
VIEIRA, G. M. D. ; BUZATO, L. E. . Distributed checkpointing: Analysis and benchmarks. In: SBRC '06: 24º Simpósio Brasileiro de Redes de Computadores, 2006, Curitiba, Brasil. SBRC '06: 24º Simpósio Brasileiro de Redes de Computadores, 2006.
-
VIEIRA, G. M. D. . Metapromela: A toolkit for simulation of checkpoint algorithms. In: 1º Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2001, Florianópolis, Brasil. 1º Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2001. p. 1-6.
-
VIEIRA, G. M. D. ; GARCIA, I. C. ; BUZATO, L. E. . Systematic analysis of index-based checkpointing algorithms using simulation. In: SCTF '01: IX Simpósio de Computação Tolerante à Falhas, 2001, Florianópolis, Brasil. SCTF '01: IX Simpósio de Computação Tolerante à Falhas, 2001. p. 31-42.
-
GARCIA, I. C. ; VIEIRA, G. M. D. ; BUZATO, L. E. . RDT-Partner: An efficient checkpointing protocol that enforces rollback-dependency trackability. In: SBRC '01: 19º Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis, Brasil. SBRC '01: 19º Simpósio Brasileiro de Redes de Computadores, 2001.
-
GRANADO, M. C. ; VIEIRA, G. M. D. ; DE GEUS, P. L. . Aspectos criptográficos no Windows NT. In: CRC '99: 2ª Conferência sobre Redes de Computadores, 1999, Évora, Portugal. CRC '99: 2ª Conferência sobre Redes de Computadores, 1999.
-
GIACOMELLI, C. H. ; VIEIRA, G. M. D. . Collision Fast Paxos e Gerência de Grupos de Processos. In: XXV Congresso de Iniciação Científica (CIC) da UFSCar, 2018, Sorocaba. Anais do XXV Congresso de Iniciação Científica (CIC) da UFSCar, 2018.
-
REIS, V. A. ; VIEIRA, G. M. D. . Qualidade de Serviço de Detectores de Falhas no Algoritmo Paxos. In: XXI Congresso de Iniciação Científica (CIC) da UFSCar, 2013, São Carlos, Brasil. Anais do XXI Congresso de Iniciação Científica (CIC) da UFSCar, 2013.
-
VIEIRA, G. M. D. . Fundamentos de Pesquisa Bibliográfica com Google Scholar. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
VIEIRA, G. M. D. . Bossa: Workflow em Java (Semana SW Livre Legislativo). 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
VIEIRA, G. M. D. . Bossa: Workflow em Java (4º FISL). 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
VIEIRA, G. M. D. . Tradução do GNOME para o Português. 2001. (Apresentação de Trabalho/Conferência ou palestra).
-
PELLEGATTI, V. K. F. ; VIEIRA, G. M. D. . Design and Reliability of a User Space Write-Ahead Log in Rust 2025 (Artigo).
-
GARCIA, I. C. ; VIEIRA, G. M. D. ; BUZATO, L. E. . A Rollback in the History of Communication-Induced Checkpointing 2017 (Artigo).
-
VIEIRA, G. M. D. ; BUZATO, L. E. . Implementation of an Object-Oriented Specification for Active Replication Using Consensus. Campinas: Instituto de Computação - Unicamp, 2010 (Relatório Técnico).
-
VIEIRA, G. M. D. . Uma Arquitetura de Software para Replicação Baseada em Consenso. Campinas: Instituto de Computação - Unicamp, 2010 (Tese de Doutorado).
-
VIEIRA, G. M. D. ; BUZATO, L. E. . Chksim: A distributed checkpointing simulator. Campinas: Instituto de Computação - Unicamp, 2005 (Relatório Técnico).
-
VIEIRA, G. M. D. . Estudo comparativo de algoritmos para checkpointing. Campinas: Instituto de Computação - Unicamp, 2001 (Dissertação de Mestrado).
-
VIEIRA, G. M. D. ; BUZATO, L. E. . Determinação de estados globais consistentes em sistemas distribuídos. Campinas: Instituto de Computação - Unicamp, 1999 (Relatório Técnico).
Outras produções
VIEIRA, G. M. D. . R3FS. 2025.
VIEIRA, G. M. D. ; BUZATO, L. E. . Treplica. 2009.
VIEIRA, G. M. D. . ChkSim. 2005.
VIEIRA, G. M. D. ; GONCALVES, F. M. . Bossa. 2004.
VIEIRA, G. M. D. . Membro do comitê de programa do WTF '25: Workshop de Tolerância a Falhas / SBRC '25. 2025. (Membro comitê de programa).
VIEIRA, G. M. D. . Membro do comitê de programa do WTF '24: Workshop de Tolerância a Falhas / SBRC '24. 2024. (Membro comitê de programa).
VIEIRA, G. M. D. . Membro do comitê de programa do WTF '19: Workshop de Tolerância a Falhas / SBRC '19. 2019. (Membro comitê de programa).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '18: 36º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2018. (Revisao de Artigos).
VIEIRA, G. M. D. . Membro do comitê de programa do CTD '18: Concurso de Teses e Dissertações / SBRC '18. 2018. (Membro comitê de programa).
VIEIRA, G. M. D. . Membro do comitê de programa do WTF '18: Workshop de Tolerância a Falhas / SBRC '18. 2018. (Membro comitê de programa).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '17: 35º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2017. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '16: 34º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2016. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos do LADC '09: Fourth Latin-American Symposium on Dependable Computing. 2009. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '08: 26º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2008. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '07: 25º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2007. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '06: 24º Simpósio Brasileiro de Redes de Computadores. 2006. (Revisao de Artigos).
VIEIRA, G. M. D. . Revisor de artigos no SBRC '05: 23º Simpósio Brasileiro de Redes de Computadores. 2005. (Revisao de Artigos).
Projetos de pesquisa
-
2013 - Atual
Replicação Confiável em Aglomerados, Descrição: O objetivo deste projeto de pesquisa é investigar questões pertinentes à construção de um sistema completo para gerência de dados altamente confiável em aglomerados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (6) . , Integrantes: Gustavo Maciel Dias Vieira - Coordenador / Luiz Eduardo Buzato - Integrante., Número de produções C, T & A: 21
Prêmios
2025
Professor homenageado, Formandos do curso de Ciência da Computação da UFSCar Sorocaba.
2023
Paraninfo, Formandos do curso de Ciência da Computação da UFSCar Sorocaba.
2019
Professor homenageado, Formandos do curso de Ciência da Computação da UFSCar Sorocaba.
2015
Professor homenageado, Formandos do curso de Ciência da Computação da UFSCar Sorocaba.
Histórico profissional
Endereço profissional
-
Universidade Federal de São Carlos, Centro de Ciências em Gestão e Tecnologia. , Rod. João Leme dos Santos (SP-264), km 110, Itinga, 18052780 - Sorocaba, SP - Brasil, Telefone: (15) 32297547, URL da Homepage:
Experiência profissional
2009 - Atual
Universidade Federal de São CarlosVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/2012
Ensino, Ciência da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Algoritmos Distribuídos, Metodologia de Pesquisa Científica em Computação
-
08/2009
Pesquisa e desenvolvimento, Centro de Ciências em Gestão e Tecnologia.Linhas de pesquisa
-
08/2009
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos Distribuídos, Arquitetura e Organização de Computadores, Laboratório de Sistemas Operacionais, Pesquisa Acadêmica em Computação, Sistemas Operacionais
-
03/2010 - 09/2010
Ensino, Administração, Nível: GraduaçãoDisciplinas ministradas, Introdução à Informática
2005 - 2010
Universidade Estadual de CampinasVínculo: Colaborador, Enquadramento Funcional: Bolsista/Aluno de Doutorado, Carga horária: 40
Atividades
-
08/2005 - 11/2010
Pesquisa e desenvolvimento, Instituto de Computação.Linhas de pesquisa
2004 - 2005
Rede Nacional de Ensino e PesquisaVínculo: Autônomo, Enquadramento Funcional: Assistente, Carga horária: 40
Atividades
-
11/2004 - 07/2005
Outras atividades técnico-científicas , RNP, RNP.Atividade realizada, Desenvolvimento de sistema de diretórios.
2001 - 2004
Opus SoftwareVínculo: Autônomo, Enquadramento Funcional: Funcionário, Carga horária: 40
Atividades
-
06/2001 - 03/2004
Pesquisa e desenvolvimento, P&D.Linhas de pesquisa
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Gustavo Maciel Dias Vieira e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?