Gustavo Araújo Soares

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Produções bibliográficas

• GAO, XIANG ; BARKE, SHRADDHA ; RADHAKRISHNA, ARJUN ; Soares, Gustavo ; GULWANI, SUMIT ; LEUNG, ALAN ; NAGAPPAN, NACHIAPPAN ; TIWARI, ASHISH . Feedback-driven semi-supervised synthesis of program transformations. Proceedings of the ACM on Programming Languages , v. 4, p. 1-30, 2020.

• OLIVEIRA, JONHNANTHAN ; Gheyi, Rohit ; MONGIOVI, MELINA ; Soares, Gustavo ; RIBEIRO, MÁRCIO ; GARCIA, ALESSANDRO . Revisiting the refactoring mechanics. INFORMATION AND SOFTWARE TECHNOLOGY , v. 110, p. 136-138, 2019.

• MONGIOVI, MELINA ; Gheyi, Rohit ; Soares, Gustavo ; RIBEIRO, MARCIO ; BORBA, PAULO ; TEIXEIRA, LEOPOLDO . Detecting overly strong preconditions in refactoring engines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 44, p. 1-1, 2017.

• DE SALES, THIAGO BRUNO M. ; PERKUSICH, ANGELO ; DE SALES, LEANDRO MELO ; DE ALMEIDA, HYGGO OLIVEIRA ; Soares, Gustavo ; DE SALES, MARCELLO . ASAP-V: A privacy-preserving authentication and sybil detection protocol for VANETs. Information Sciences , v. 372, p. 208-224, 2016.

• PERKUSICH, MIRKO ; Soares, Gustavo ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . A procedure to detect problems of processes in software development projects using Bayesian networks. Expert Systems with Applications , v. 42, p. 437-450, 2015.

• SANTIAGO, F. ; GHEYI, R. ; BORBA, P. ; SOARES, G. . A Toolset for Checking SPL Refinements. Journal of Universal Computer Science (Online) , v. 20, p. 587, 2014.

• MONGIOVI, MELINA ; GHEYI, R. ; SOARES, G. ; Teixeira, Leopoldo ; BORBA, Paulo . Making refactoring safer through impact analysis. Science of Computer Programming (Print) , v. 93, p. 39-64, 2014.

• Soares, Gustavo ; Gheyi, Rohit ; Massoni, Tiago . Automated Behavioral Testing of Refactoring Engines. IEEE Transactions on Software Engineering , v. 39, p. 147-162, 2013.

• Soares, Gustavo ; Gheyi, Rohit ; MURPHY-HILL, EMERSON ; JOHNSON, BRITTANY . Comparing approaches to analyze refactoring activity on software repositories. The Journal of Systems and Software , v. 86, p. 1006-1022, 2013.

• Soares, Gustavo ; Gheyi, Rohit ; Serey, Dalton ; Massoni, Tiago . . IEEE Software , v. 27, p. 52-57, 2010.

• MILTNER, A. ; GULWANI, S. ; LE, V. ; LEUNG, A. ; RADHAKRISHNA, A. ; SOARES, G. ; TIWARI, A. ; UDUPA, A. . On the fly synthesis of edit suggestions. In: OOPSLA, 2019, Atenas. OOPSLA, 2019.

• REIS, R. ; Soares, Gustavo ; MONGIOVI, M. ; ANDRADE, W. L. . Evaluating Feedback Tools in Introductory Programming Classes. In: FIE, 2019, Cincinnati. Frontiers in Education, 2019.

• SOUSA, R. ; SOARES, G. ; DANTONI, L. ; POLOZOV, O. ; GULWANI, S. ; GHEYI, R. ; SUZUKI, R. ; HARTMANN, B. . Learning Syntactic Program Transformations from Examples. In: International Conference on Software Engineering, 2017, Buenos Aires. International Conference on Software Engineering, 2017.

• HEAD, A. ; GLASSMAN, E. ; Soares, Gustavo ; SUZUKI, R. ; FIGUEREDO, L. ; DANTONI, L. ; HARTMANN, B. . Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis. In: Learning@Scale, 2017, Cambridge. ACM Learning@Scale, 2017.

• COSTA, A. ; SOUSA, R. ; RAMOS, F. ; SOARES, G. ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), 2015, Pittsburgh. 27th International Conference on Software Engineering and Knowledge Engineering, 2015.

• RAMOS, F. ; COSTA, A. ; SOUZA, R. ; SOARES, G. ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), 2015, Pittsburgh. 27th International Conference on Software Engineering and Knowledge Engineering, 2015.

• MAYER, M. ; SOARES, G. ; GRECHKIN, M. ; LE, V. ; MARRON, M. ; POLOZOV, O. ; SINGH, R. ; ZORN, B. ; GULWANI, S. . User Interaction Models for Disambiguation in Programming-by-Example. In: User Interface Software Technology Symposium, 2015. User Interface Software Technology Symposium, 2015.

• MONGIOVI, MELINA ; MENDES, GUSTAVO ; Gheyi, Rohit ; Soares, Gustavo ; RIBEIRO, MARCIO . Scaling Testing of Refactoring Engines. In: 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2014, Victoria. 2014 IEEE International Conference on Software Maintenance and Evolution, 2014. p. 371.

• SOARES, G. ; MURPHY-HILL, E ; GHEYI, R. . Live Feedback on Behavioral Changes. In: Workshop on Live Programming, 2013, San Francisco. International Conference on Software Engineering, 2013.

• SANTIAGO, F. ; BORBA, P. ; SOARES, G. ; GHEYI, R. . Making Software Product Line Evolution Safer. In: Brazilian Symposium on Software Components, Architectures and Reuse, 2012, Natal. Brazilian Symposium on Software Components, Architectures and Reuse, 2012.

• SOARES, G. ; CAVALCANTI, D. ; GHEYI, R. . Making aspect-oriented refactoring safer. In: Simpósio Brasileiro de Linguagens de Programação, 2011, São Paulo. Simpósio Brasileiro de Linguagens de Programação, 2011.

• SOARES, G. ; CATAO, B. ; VARJAO, C. ; AGUIAR, S. ; GHEYI, R. ; MASSONI, T. . Analyzing Refactoring on Software Repositories. In: Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo. Simpósio Brasileiro de Engenharia de Software, 2011.

• SOARES, G. ; MONGIOVI, M. ; GHEYI, R. . Identifying overly strong conditions in refactoring implementations. In: International Conference on Software Maintenance, 2011, Williamsburg. 27th IEEE International Conference on Software Maintenance, 2011.

• VARJAO, C. ; MASSONI, T. ; GHEYI, R. ; SOARES, G. . Uma Ferramenta para Verificar Conformidade em Programas Java/JML. In: Sessão de Ferramentas - Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2011, São Paulo. Sessão de Ferramentas - Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2011.

• SOARES, G. ; GHEYI, R. ; MASSONI, T. ; CORNELIO, M. ; CAVALCANTI, D. . Generating Unit Tests for Checking Refactoring Safety. In: Brazilian Symposium on Programming Languages, 2009, Gramado. Brazilian Symposium on Programming Languages, 2009. p. 159-172.

• SOARES, G. ; CAVALCANTI, D. ; GHEYI, R. ; MASSONI, T. ; SEREY, D. ; CORNELIO, M. . SafeRefactor - Tool for Checking Refactoring Safety. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009.

• SOARES, G. ; GHEYI, R. . Automated Behavioral Testing of Refactoring Engines. In: Concurso de Teses e Dissertações do Congresso da Sociedade Brasileira de Computação, 2015, Recife. Concurso de Teses e Dissertações do Congresso da Sociedade Brasileira de Computação, 2015.

• SOARES, G. . Automated Behavioral Testing of Refactoring Engines. In: SPLASH - Doctoral Symposium, 2012, Tucson. SPLASH '12 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2012.

• SOARES, G. . Automated Behavioral Testing of Refactoring Engines. In: SPLASH - Student Research Competition, 2012, Tucson. SPLASH '12 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2012.

• SOARES, G. . Making program refactoring safer. In: European Conference on Object-Oriented Programming, 2011, Lancaster. ECOOP 2011: 25th European Conference on Object-Oriented Programming (Doctoral symposium), 2011.

• SOARES, G. ; GHEYI, R. ; SEREY, D. . Making Program Refactoring Safer. In: Congresso da Sociedade Brasileira de Computação - Concurso de teses e dissertações, 2011, Natal. CSBC 2011: Congresso da Sociedade Brasileira de Computação (Concurso de teses e dissertações - CTD 2011), 2011.

• SOARES, G. . Making program refactoring safer. In: ICSE 2010 - ACM Student research competition, 2010, Cidade do Cabo. Proceeding of International Conference on Software Engineering, 2010.

• SOARES, G. . Making program refactoring safer. In: XVII Latin-American Master?s Thesis Contest CLTM 2010, 2010, Assunção. XXXVI Latin-American Informatics Conference CLEI 2010, 2010.

Outras produções

Projetos de pesquisa

• 2017 - Atual

  Modern Refactoring, Projeto certificado pelo(a) coordenador(a) Rohit Gheyi em 04/01/2017., Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Gustavo Araújo Soares - Integrante / Gheyi, Rohit - Coordenador / Melina Mongiovi - Integrante / RIBEIRO, MARCIO - Integrante / ALMEIDA, HYGGO - Integrante / Larissa Braz - Integrante / Volker Stolz - Integrante.

• 2013 - Atual

  Refatoramento Seguro de Programas e Linhas de Produto de Software, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Gustavo Araújo Soares - Integrante / Rohit Gheyi - Coordenador / Paulo Borba - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - 2013

  Evolução Fidedigna de Linhas de Produtos de Software, Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar o processo de evolução de Linhas de Produtos de Software (LPS), de forma que empresas que adotem a abordagem e ferramentas propostas tenham mais vantagem competitiva advindo do aumento tanto de con abilidade quanto de produtividade na evolução segura de LPS. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (4) . , Integrantes: Gustavo Araújo Soares - Integrante / Rohit Gheyi - Integrante / Tiago Massoni - Integrante / Paulo Borba - Coordenador / Leopoldo Teixeira - Integrante / Sérgio Soares - Integrante / Uirá Kulesza - Integrante / Roberta Coelho - Integrante / Eduardo Aranha - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - 2012

  Refatoramento de Programas para Migração entre Estruturas de Dados, Descrição: Bibliotecas de coleções apresentam alto índice de utilização em linguagens orientadas a objetos, já que a necessidade de estruturas de dados é perene em projetos de software. Por razões que podem incluir desempenho, facilidade de uso ou obsolescência, usuários de estruturas de dados precisam adaptar seus programas para substituir a estrutura em uso. Este tipo de modificação consiste em um refatoramento, já que o comportamento observável do programa deve ser preservado. Contudo, refatoramentos para adaptar os clientes de estruturas de dados não são automatizados. Feita de forma manual, esta tarefa é altamente tediosa e passível de erros. Ainda, diferenças de sintaxe e semântica entre as estruturas usadas dificultam enormemente esta tarefa. Mesmo que a sintaxe seja mantida com interfaces comuns, o que facilita a mudança, verificações adicionais são necessárias para que a estrutura substituta apresente a mesma semântica da anterior. Este projeto visa fornecer soluções de automatização para o problema descrito, através da proposição de uma técnica de refatoramento para programas que utilizam estruturas de dados. O proponente e seus colaboradores pretendem fazê-lo através de base teórica sólida em especificação e transformação de programas, aliada a implementação de suporte ferramental para refatoramentos. Uma ferramenta implementando a técnica proposta pelos pesquisadores será implementada e disponibilizada com licença gratuita e código aberto. Além disso, várias iniciativas de avaliação da técnica serão realizadas, através de experimentos de usabilidade e utilidade da ferramenta, além de estudos de caso analisando a corretude dos refatoramentos aplicados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Gustavo Araújo Soares - Integrante / Rohit Gheyi - Integrante / Tiago Massoni - Coordenador / Márcio Cornélio - Integrante / Paulo Borba - Integrante / Augusto Sampaio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - 2011

  INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software, Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Gustavo Araújo Soares - Integrante / Tiago Massoni - Integrante / Dalton Serey - Integrante / Gheyi, Rohit - Integrante / Paulo Borba - Integrante / Silvio Meira - Coordenador.

• 2009 - 2011

  Uma Abordagem Segura para a Aplicação de Refatoramentos, Descrição: O objetivo deste trabalho é propor uma técnica simples e prática para se identificar mudanças comportamentais na aplicação de quaisquer refatoramentos em programas sequenciais orientados a objetos e aspectos. Para isso pretendemos propor uma técnica de análise estática e de geração automática de uma coleção de testes de unidade com base na transformação desejada pelo usuário. Com base no tipo de transformação que se deseja aplicar, uma análise estática indicará partes do programa que a coleção de testes gerada deverá exercitar para se ter mais chances de identificar mudanças comportamentais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Gustavo Araújo Soares - Integrante / Tiago Massoni - Integrante / Gheyi, Rohit - Coordenador / Paulo Borba - Integrante / Augusto Sampaio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4

Prêmios