logo_icmc_2013.tif

Universidade de São Paulo – USP

Instituto de Ciências Matemáticas e de Computação – ICMC

Departamento de Sistemas de Computação – SSC

Laboratório de Sistemas Distribuídos e Programação Concorrente – LASDPC

UK_flag.jpg

English

 

 pssouza.tif

 Paulo Sérgio Lopes de Souza

 

 

 

 

[Contato] [Biografia] [Pesquisas] [Projetos] [Links] [Publicações] [Estudantes]

 

Contato

Instituto de Ciências Matemáticas e de Computação – ICMC/USP

Departamento de Sistemas de Computação – SSC

Laboratório de Sistemas Distribuídos e Programação Concorrente – LASDPC

Av. Trabalhador são-carlense, 400 – Caixa Postal 668

CEP 13560-970 – São Carlos – SP – Brasil

 

Telefone: +55 16 3373 6623

Fax: +55 16 3373 8118

 

Sala 4-136 localizada no bloco 4 do ICMC/USP.

 

e-mails           pssouza at icmc dot usp dot br

                        psldesouza at gmail dot com

 

Homepage    www.icmc.usp.br/~pssouza

 

Mapa com a localização do Campus da USP em São Carlos.

 

 

Algumas Informações Biográficas

Paulo Sérgio Lopes de Souza recebeu o título de Bacharel em Processamento de Dados pela Universidade Estadual de Ponta Grossa-PR (UEPG) em 1990 e de Mestre em Ciências Matemáticas e de Computação pelo ICMC/USP em 1996. Ele recebeu seu título de Doutor pelo IFSC/USP em 2000, trabalhando com escalonamento de processos em sistemas computacionais distribuídos. Ele foi docente da UEPG por 14 anos (1991/2005), sendo chefe do Departamento de Informática no biênio 1992/1993. Desde 2005 é Professor Doutor do Departamento de Sistemas de Computação do ICMC/USP em São Carlos, onde desenvolve suas pesquisas no Laboratório de Sistemas Distribuídos e Programação Concorrente (LASDPC). Realizou pós-doutorado na University of Southampton/UK (2010/2011), em parceria com o Prof. Ed Zaluska e investigando o teste de programas concorrentes. Ministra disciplinas na graduação e na pós-graduação como: organização e arquitetura de computadores, programação concorrente, redes de computadores e estruturas de dados. Orienta alunos de Doutorado, Mestrado, Iniciação Científica e TCC.

 

Pesquisas

As suas atividades de pesquisa têm como norte melhorar a qualidade de aplicações distribuídas e paralelas, com o objetivo de gerar novas tecnologias que garantam sistemas computacionais mais eficazes, corretos e baratos. Considerando que a computação ubíqua atual é, na verdade, composta por diversos sistemas computacionais (distribuídos) que interagem; melhorar a qualidade de tais sistemas pode-se, consequentemente, melhorar também nossa qualidade de vida. Diversos projetos de pesquisa vêm sendo desenvolvidos nesta perspectiva. De um modo geral estes projetos podem ser agrupados em desenvolvimento de aplicações de alto desempenho, teste de aplicações paralelas/distribuídas e ferramentas de simulação para auxiliar o ensino e a pesquisa na computação.

 

Projetos

- TestPar – Subsídios para o Teste Estrutural de Aplicações Distribuídas (FAPESP, CNPq e CAPES)

- Jerrymouse – Otimização da Distribuição de Requisições em Clusters de Web Services (FAPESP e CNPq)

- Rede - Paralelização da Reconfiguração de Redes Elétricas via Estruturas de Dados Eficientes para Grandes Sistemas

- Amnesia – Um Simulador de Hierarquia de Memória (FAPESP e CNPq)

 

Links

CV Lattes no CNPq

Citações no Google Scholar

MyResearcherID (ISI)

 

Algumas Publicações (desde 2005)

Periódicos

2013

- SOUZA, P. S. L.; SANTANA, R.H.C.; SANTANA, M.J., ZALUSKA, E., FAICAL, B.S.; ESTRELLA, J.C. Load Index Metrics for an Optimized Management of Web Services: a Systematic Evaluation. PLoS ONE. Paper accepted. 2013.

 

2012

- BONETTI, D. R. F. ; DELBEM, A. C. B. ; TRAVIESO, G. ; SOUZA, P. S. L. . Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction. Concurrency and Computation, 2012. http://dx.doi.org/10.1002/cpe.2913

- SOUZA, P. S. L.; SOUZA, Simone Do Rocio Senger de; ZALUSKA, E. . Structural testing for message-passing concurrent programs: an extended test model. Concurrency and Computation, 2012. http://dx.doi.org/10.1002/cpe.2937

 

2011

- SOUZA, P. S. L. ; HITOSHI, F. ; SANTANA, Marcos José ; SANTANA, R. H. C. ; BRUSCHI, Sarita Mazzini ; BRANCO, K. R. L. J. C. . Applying the Heterogeneity Level Metric in a Distributed Platform. INFOCOMP (UFLA. Impresso), v. 10, p. 17-25, 2011.

 

2008

- SOUZA, Simone Do Rocio Senger de ; VERGILIO, Silvia Regina ; SOUZA, P. S. L. ; SIMÃO, A. S. ; HAUSEN, Alexandre Ceolin . Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008. http://dx.doi.org/10.1002/cpe.1297

- MATOS, Jonathan de ; BORTOLATO, Eduardo ; CAMILO JÚNIOR, Alexandre ; SOUZA, P. S. L. . A Methodology for Modeling the Complexity of the Hartree-Fock Procedure. Publicatio UEPG: Ciências Exatas e da Terra, Ciências Agrárias e Engenharias (versão eletrônica), v. 14, p. 7-25, 2008.

 

2006

- MATOS, Jonathan de ; BORTOLATO, Eduardo ; CAMILO JR, Alexandre ; MARTINI, João Ângelo ; GONÇALVES, Ronaldo A L ; SOUZA, P. S. L. . Binary SCF: GAMESS improvements for energy evaluation based on SCF methods. Computer Physics Communications, Elsevier, v. 174, p. 1-16, 2006. http://dx.doi.org/10.1016/j.cpc.2005.08.008

 

Capítulos de Livros Publicados

2009

- LIMA, T. W. ; CALIRI, A. ; SILVA, F. L. B. ; TINOS, R. ; TRAVIESO, G. ; SILVA, I. N. ; SOUZA, P. S. L. ; MARQUES, E. ; DELBEM, A. C. B. ; BONATTO, V. ; FACCIOLI, R. ; BRASIL, C. R. S. ; GABRIEL, P. H. R. ; DO O, V. T. ; BONETTI, D. R. F. . Some Modeling Issues for Protein Structure Prediction using Evolutionary Algorithms. In: Wellington Pinheiro dos Santos. (Org.). Evolutionary Computation. 1ed.Olajnica: In-Teh, 2009, v. 1, p. 153-178.

 

2007

- SOUZA, S.R.S.; SOUZA, P.S.L.; VERGILIO, S.R. Teste de programas concorrentes. In: Marcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. 1ed.São Paulo: Elsevier Editora Ltda, 2007, v. 1, p. 231-250.

 

Conferências

2013

- BRITO, M.A.S., SOUZA, S.R.S., SOUZA, P.S.L. An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. In: International Conference on Computational Science, 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v.18. p.250-259. (http://dx.doi.org/10.1016/j.procs.2013.05.188)

- SOUZA, P.S.L., SOUZA, S.R.S., ROCHA, M.G., PRADO, R.R., BATISTA, R.N. Data flow testing in concurrent programs with message passing and shared memory paradigms.  In: International Conference on Computational Science, 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v.18. p.149-158. (http://dx.doi.org/10.1016/j.procs.2013.05.188)

- SILVA, R.A.; SOUZA, S.R.S.; SOUZA, P.S.L. Utilizando uma Arquitetura de Referência para Apoiar o Desenvolvimento de uma Ferramenta de Teste de Programas Concorrentes (in Portuguese). In: 10th CONTECSI International Conference on Information Systems and Technology Management, São Paulo, 2013. p.862-878.

 

2012

- SILVA, R.A. ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. . Mutation Operators for Concurrent Programs in MPI. In: 13th IEEE Latin American Test Workshop, 2012, Quito. Proceedings of 13th IEEE Latin American Test Workshop. Quito: IEEE, 2012. v. 1. p. 64-69.

- SILVA, R.A. ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. . Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. In: 6th Brazilian Workshop on Systematic and Automated Software Testing, 2012, Natal. Proceedings of 6th Brazilian Systematic and Automated Software Testing. Porto Alegre: Sociedade Brasileira de Computação, 2012. v. 1. p. 1-10.

 

2011

- SOUZA, P. S. L. ; FAICAL, B.S. ; MATOS, Jonathan de ; SANTANA, Marcos José ; SANTANA, R. H. C. ; ZALUSKA, E. . Jerrymouse: a tool for a flexible and dynamic distribution of web service requests. In: 8th IEEE 2011 International Conference on Services Computing (SCC 2011), 2011, Washington. Proceedings of SCC2011. Washington: IEEE, 2011. v. 1. p. 520-527.

- SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. ; MACHADO, M. C. C. ; SIMÃO, A. S. ; ZALUSKA, E. . Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. In: 23rd International Conference on Software Engineering and Knowledge Engineering, 2011, Miami Beach. Proceedings of SEKE2011. Skokie, IL, USA: Knowledge Systems Institut Graduate School, 2011. v. 1. p. 207-212.

- SOUZA, Simone Do Rocio Senger de ; BRITO, M. A. S. ; SOUZA, P. S. L. ; ZALUSKA, E. . Research in Concurrent Software Testing: A Systematic Review. In: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - International Symposium on Software Testing and Analysis (ISSTA 2011), 2011, Toronto. Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2011. v. 1. p. 1-5.

 

2010

- BONETTI, D. R. F. ; DELBEM, A. C. B. ; TRAVIESO, G. ; SOUZA, P. S. L. . Optimizing Van der Waals calculi using Cell-lists and MPI. In: World Congress on Computational Intelligence - IEEE, 2010, Barcelona. World Congress on Computational Intelligence - IEEE, 2010. v. 1. p. 3657-3663.

- BRITO, M. A. S. ; FELIZARDO, K. ; SOUZA, P. S. L. ; SOUZA, Simone Do Rocio Senger de . Concurrent Software Testing: A Systematic Review. In: 22nd IFIP International Conference on Testing Software and Systems, 2010, Natal. 22nd IFIP International Conference on Testing Software and Systems, 2010. v. 1. p. 79-84.

 

2008

- SARMANHO, Felipe Santos ; SOUZA, P. S. L. ; SOUZA, Simone Do Rocio Senger de ; SIMÃO, A. S. . Structural Testing for Semaphore-Based Multithread Programs. In: International Conference on Computational Science ICCS2008, 2008, Krakow. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2008. v. 5101. p. 337-346.

- SOUZA, P. S. L. ; SAWABE, Eduardo Takeshi ; SIMÃO, A. S. ; SOUZA, Simone Do Rocio Senger de ; VERGILIO, Silvia Regina ; SARMANHO, Felipe Santos . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: 15th European PVM/MPI Users' Group Meeting, 2008, Dublin. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2008. v. 5205. p. 257-264.

- ENDO, A. T. ; SIMÃO, A. S. ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. . Web Services Composition Testing: a Strategy Based on Structural Testing of Parallel Programs. In: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, 2008, Windsor. Proceedings of TAIC PART 2008. Washington: IEEE Computer Society, 2008. v. 1. p. 3-12.

- OLIVEIRA, Bruno Henrique ; SANTOS, Jordan Herbert ; SOUZA, P. S. L. ; BRUSCHI, Sarita Mazzini ; SOUZA, Simone Do Rocio Senger de . Amnésia: Um Simulador de Hierarquia de Memória. In: International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) / Workshop sobre Educação em Arquitetura de Computadores (WEAC), 2008, Campo Grande. Proceedings of 20th SBAC-PAD. Washington: IEEE Computer Society, 2008. v. 1. p. 13-16.

 

2007

- HAUSEN, Alexandre Ceolin ; VERGILIO, Silvia Regina ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. ; SIMÃO, A. S. . A tool for Structural Testing of MPI Programs. In: 8th LATW - IEEE Latin-American Test Workshop, 2007, Cuzco - Pareu. Proceedings of LATW2007. Cuzco: Pontificia Universidad Catolica del Peru, 2007. v. 1. p. 1-6.

- SARMANHO, Felipe Santos ; SOUZA, P. S. L. ; SOUZA, Simone Do Rocio Senger de ; SIMÃO, A. S. . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. In: Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007-SBAC/PAD2007), 2007, Gramado. Proceedings of LTPD2007 - collocated with SBAC/PAD 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 18-21.

- ENDO, A. T. ; SIMÃO, A. S. ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. . Aplicação do Modelo PCFG no Teste de Composição de Web Services. In: 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 2007, João Pessoa. Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 13-20.

 

2006

- HAUSEN, Alexandre Ceolin ; VERGILIO, Silvia Regina ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. ; SIMÃO, A. S. . ValiMPI: Uma Ferramenta para Teste de Programas Paralelos. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. Anais da XIII Sessão de Ferramentas do SBES2006, 2006. v. 1. p. 7-12.

- UEDA, Carlos ; GONÇALVES, Ronaldo A L ; MARTINI, João Ângelo ; SOUZA, P. S. L. ; CAMILO JÚNIOR, Alexandre . Uso do GAMESS na Modelagem da Atrazina e Uso de Redes de Petri na Modelagem do GAMESS. In: VII Fórum de Informática e Tecnologia de Maringá - FITEM2006, 2006, Maringá. Anais do VII FITEM, 2006. v. 1. p. 1-12.

-. SANTOS, Marcos R dos ; MATOS, Jonathan de ; BORTOLATO, Eduardo ; CAMILO JÚNIOR, Alexandre ; SOUZA, P. S. L. ; GONÇALVES, Ronaldo A L ; MARTINI, João Ângelo . Caracterizando o GAMESS como Benchmark para o SimpleSacalr. In: VII Fórum de Informática e Tecnologia de Maringá - FITEM2006, 2006, Maringá. Anais do FITEM2006, 2006. v. 1. p. 104-113.

 

2005

- VERGILIO, Silvia Regina ; SOUZA, Simone Do Rocio Senger de ; SOUZA, P. S. L. . Coverage Testing Criteria for Message-Passing Parallel Programs. In: 6th IEEE Latin-American Test Workshop - LATW2005, 2005, Salvador Bahia. Proceedings of 6th IEEE Latin-American Test Workshop. Salvador: UFBa, 2005. p. 161-166.

- SOUZA, Simone Do Rocio Senger de ; VERGILIO, Silvia Regina ; SOUZA, P. S. L. ; SIMÃO, A. S. ; GONÇALVES, Thiago Bliscosque ; LIMA, Alexandre de Melo ; HAUSEN, Alexandre Ceolin . ValiPar: a testing tool for message-passing parallel programs. In: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, 2005, Taipei, Taiwan. Proceedings of 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005. Skokie, USA: Knowledge Systems Institute Graduate School, 2005. p. 386-391.

 

Estudantes

Doutorado

Alexandre Ponce de Oliveira. Definição de Mecanismos de Teste para Aplicações Concorrentes Desenvolvidas em Linguagens Funcionais. Início: 2012.

 

Mestrado

George Gabriel Mendes Dourado. Avaliando o Teste de Programas Concorrentes: uma abordagem usando benchmarks. Início: 2013. Bolsa CNPq.

Rafael Regis do Prado. Teste de Programas Concorrentes como Serviço na WEB. Início 2013. Bolsa CNPq.

Raphael Negrisoli Batista. Desenvolvimento de um framework teórico para teste estrutural distribuído. Início: 2012. Bolsa FAPESP.

 

Iniciação Científica

Alisson Mateus de Oliveira Magalhães. Aplicando o Teste de Alcançabilidade no Teste de Programas Concorrentes em Java. Início: 2013. Bolsa CNPq.

 

Orientações Já Concluídas (Junho/2013)

05 Mestrados, 02 TCCs e 17 ICs.