Paulo Sérgio Lopes de Souza

  • Endereço para acessar este CV: http://lattes.cnpq.br/4254001833729264
  • Última atualização do currículo em 12/12/2018


Paulo Sérgio Lopes de Souza possui Bacharelado em Processamento de Dados pela Universidade Estadual de Ponta Grossa (1990), mestrado em Ciências de Computação e Matemática Computacional pelo ICMC/USP em São Carlos (1996) e doutorado em Física Computacional pelo IFSC/USP (2000). Atualmente é professor associado junto ao Departamento de Sistemas de Computação do ICMC/USP, onde trabalha desde 2005. Ele realizou pós-doutorado na Universidade de Southampton/UK (2010/2011) e recebeu seu título de Livre Docente em 2014 pelo ICMC/USP em Programação Concorrente. Ele foi docente da Universidade Estadual de Ponta Grossa por 14 anos (1991/2005), sendo chefe do Departamento de Informática (1992/1993). Ele tem experiência em ciência da computação, atuando principalmente nos seguintes temas: sistemas distribuídos, computação paralela, desenvolvimento de aplicações de alto desempenho, teste de programas paralelos, concorrentes e distribuídos, recursos educacionais aplicados ao ensino, e blockchain. (Texto informado pelo autor)


Identificação


Nome
Paulo Sérgio Lopes de Souza
Nome em citações bibliográficas
SOUZA, P. S. L.;SOUZA, P.S.L.;Souza, P.S.L.;Paulo S. L. de Souza;Paulo S.L. de Souza;Paulo Sergio L. de Souza;SOUZA, PAULO S. L.;DE SOUZA, PAULO SERGIO L.;SOUZA, PAULO S.L.;SOUZA, PAULO SERGIO LOPES;SOUZA, PAULO;SOUZA, PAULO SERGIO LOPES DE;Paulo Lopes de Souza;SOUZA, PAULO LOPES DE;PAULO LOPES DE SOUZA;DE SOUZA, PAULO SERGIO LOPES

Endereço


Endereço Profissional
Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação.
Av. Trabalhador São-carlense, 400 (ICMC/SSC)
Centro
13560970 - São Carlos, SP - Brasil - Caixa-postal: 668
Telefone: (16) 33736623
Fax: (16) 33712238
URL da Homepage: www.icmc.usp.br/~pssouza


Formação acadêmica/titulação


1996 - 2000
Doutorado em Física Aplicada Opção Em Física Computacional.
Instituto de Física de São Carlos Usp, IFSC/USP, Brasil.
Título: AMIGO: uma contribuição para a convergência na área de escalonamento de processos, Ano de obtenção: 2000.
Orientador: Marcos José Santana.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Distributed Parallel Computing.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Distribuídos.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Computação Paralela Distribuída.
Setores de atividade: Informática; Atividades dos serviços de tecnologia da informação; Pesquisa e desenvolvimento científico.
1994 - 1996
Mestrado em Ciências de Computação e Matemática Computacional.
Instituto de Ciências Matemáticas e de Computação Usp São Carlos, ICMC/USP, Brasil.
Título: Máquina Paralela Virtual em Ambiente Windows,Ano de Obtenção: 1996.
Orientador: Marcos José Santana.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Distributed Parallel Computing.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Distribuídos.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Computação Paralela Distribuída.
Setores de atividade: Informática; Atividades dos serviços de tecnologia da informação; Pesquisa e desenvolvimento científico.
1991 - 1992
Especialização em Especialização Em Ciências da Computação. (Carga Horária: 360h).
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
Título: Ciências da Computação.
Orientador: João Umberto Furquim de Souza.
1988 - 1990
Graduação em Bacharel Em Processamento de Dados.
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
Título: Tecnologia da Informação Aplicada à Medicina.
Orientador: Luis Fernando Wambier.


Pós-doutorado e Livre-docência


2014
Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Contribuições para o Desenvolvimento e a Execução de Aplicações Concorrentes de Alto Desempenho, Ano de obtenção: 2014.
Palavras-chave: Concurrent Programming; Concurrent Program Testing; Distributed Systems.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Atividades de prestação de serviços de informação.
2010 - 2011
Pós-Doutorado.
University of Southampton, SOUTHAMPTON, Inglaterra.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.


Formação Complementar


1995 - 1995
Tópicos em Interface Usuário-Computador. (Carga horária: 60h).
Instituto de Ciências Matemáticas e de Computação Usp São Carlos, ICMC/USP, Brasil.
1994 - 1994
Introdução à Programação X-VIEW. (Carga horária: 20h).
Instituto de Ciências Matemáticas e de Computação Usp São Carlos, ICMC/USP, Brasil.
1991 - 1991
Programação Orientada a Objeto. (Carga horária: 16h).
Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil.
1990 - 1990
Extensão universitária em Introdução à Linguagem C. (Carga horária: 52h).
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
1990 - 1990
Sistema IBM - VM, XEDIT, SQL, CSP. (Carga horária: 60h).
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
1990 - 1990
Sistemas Operacionais IBM. (Carga horária: 1990h).
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
1987 - 1987
dBASE III Plus e seus compiladores. (Carga horária: 70h).
Personal Software Ltda, PS, Brasil.
1986 - 1986
Basic Avançado. (Carga horária: 48h).
Personal Software Ltda, PS, Brasil.
1986 - 1986
Basic II. (Carga horária: 48h).
Personal Software Ltda, PS, Brasil.


Atuação Profissional



Universidade Presbiteriana Mackenzie, MACKENZIE, Brasil.
Vínculo institucional

2018 - 2018
Vínculo: , Enquadramento Funcional:


University of Southampton, SOUTHAMPTON, Inglaterra.
Vínculo institucional

2010 - 2011
Vínculo: , Enquadramento Funcional:


Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Membro do Comitê Gestor CRAD/SP, Carga horária: 2
Outras informações
Membro do Comitê Gestor da Comissão Regional de Computação de Alto Desempenho do Estado de São Paulo (CRAD-SP)

Vínculo institucional

2003 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Membro da Comissão de Educação, Carga horária: 1
Outras informações
Membro da Comissão de Edução da SBC.

Atividades

12/2017 - 12/2018
Outras atividades técnico-científicas , Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho, Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho.

Atividade realizada
Organização Geral do 19o. Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018).
09/2016 - 08/2017
Outras atividades técnico-científicas , Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho, Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho.

Atividade realizada
Organização Geral da 8a. Escola Regional de Alto Desempenho de São Paulo no ICMC/USP (2017).
03/2016 - 11/2016
Outras atividades técnico-científicas , Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho, Comissão Especial em Arq. de Comp. e Proc. de Alto Desempenho.

Atividade realizada
Coordenador de Programa da ERAD-SP 2016.

Balsano Corretora de Seguros, BALSANO, Brasil.
Vínculo institucional

1990 - 1991
Vínculo: , Enquadramento Funcional: Programador, Carga horária: 20


Assessoria & Desenvolvimento de Sistemas de Informação, A&D INFORMÁTICA, Brasil.
Vínculo institucional

1988 - 1991
Vínculo: Desenvolvedor Autônomo, Enquadramento Funcional: Analista de Sistemas
Outras informações
Atuação como analista e programador de computadores no desenvolvimento de sistemas para consultórios médicos e odontológicos, escritórios de advocacia e indústrias na região de Ponta Grossa/PR.

Atividades

01/1988 - 03/1991
Serviços técnicos especializados , Desenvolvimento de Sistemas, .

Serviço realizado
Desenvolvimento de Sistemas de Informação.

Instituto de Ciências Matemáticas e de Computação Usp São Carlos, ICMC/USP, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: , Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor Doutor em Regime de Dedicação Exclusiva

Atividades

08/2018 - Atual
Direção e administração, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Vice Chefe do Departamento de Sistemas de Computação.
03/2018 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Matemáticas e de Computação, Centro de Ciências Matemáticas Aplicadas à Indústria (CeMEAI).

Linhas de pesquisa
Blockchain
02/2018 - Atual
Direção e administração, Instituto de Ciências Matemáticas e de Computação, Comissão Assessora de Ensino do SSC (CAE-SSC).

Cargo ou função
Suplente da CAE-SSC.
09/2016 - Atual
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Comissão Coordenadora do Bacharelado em Ciências de Computação.

Cargo ou função
Membro Titular na CoC BCC como representante do SSC.
03/2016 - Atual
Direção e administração, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Líder do Grupo de Pesquisa em Sistemas Distribuídos e Programação Concorrente do ICMC/USP.
05/2005 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Matemáticas e de Computação, .

12/2018 - 12/2018
Extensão universitária , Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Atividade de extensão realizada
Organizou e Ministrou o Curso de Extensão "Introdução à Programação Paralela com C/PThreads" (8h).
12/2018 - 12/2018
Extensão universitária , Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Atividade de extensão realizada
Organizou e ministrou o Curso de Extensão "Introdução à Programação Paralela com C/OpenMP: um curso hands-on" 8h..
08/2018 - 12/2018
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0143 - Programação Concorrente (Turmas 1 e 2)
08/2018 - 12/2018
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0742 - Programação Concorrente
08/2018 - 12/2018
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5795 - Programação Concorrente
09/2015 - 08/2018
Conselhos, Comissões e Consultoria, Escola de Engenharia de São Carlos - EESCS, .

Cargo ou função
Membro da Comissão Coordenadora do Curso de Engenharia Mecânica da EESC.
09/2014 - 08/2018
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Membro Titular do Conselho do SSC - Representante da Categoria dos MS5 (Associados).
02/2018 - 06/2018
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I (Turmas 1 e 2)
02/2018 - 06/2018
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5821 - Tópicos Avançados em Computação Paralela
06/2016 - 05/2018
Direção e administração, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Responsável pelo Laboratório de Projeto e Avaliação de Sistemas de Computação LAPASC.
08/2016 - 02/2018
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Comissão Assessora de Ensino do SSC (CAE-SSC).

Cargo ou função
Presidente da CAE-SSC.
10/2015 - 02/2018
Direção e administração, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Membro Titular da Comissão de Ensino do SSC (CAE/SSC).
10/2015 - 02/2018
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Comissão Assessora de Ensino do SSC (CAE-SSC).

Cargo ou função
Membro Titular da CAE-SSC.
08/2017 - 12/2017
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0143 - Programação Concorrente
08/2017 - 12/2017
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0742 - Programação Concorrente
08/2017 - 12/2017
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5795 - Programação Concorrente
02/2017 - 06/2017
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I
02/2017 - 06/2017
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0742 - Programação Concorrente
07/2016 - 12/2016
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0143 Programação Concorrente
07/2016 - 12/2016
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5795 Programação Concorrente
SSC5903 Tópicos Avançados em Avaliação de Desempenho
12/2014 - 09/2016
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Representante da Congregação na CoC do Curso de Bacharelado em Estatística.
02/2016 - 07/2016
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0640 Sistemas Operacionais I
SSC0742 Programação Concorrente
02/2016 - 07/2016
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
SSC0571 Evolução Histórica da Computação e Aplicações
08/2015 - 12/2015
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0140 - Sistemas Operacionais I - Turmas 1 e 2
12/2013 - 12/2015
Direção e administração, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Responsável pelo Laboratório de Sistemas Distribuídos e Programação Concorrente do ICMC/USP.
09/2015 - 11/2015
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Presidente Comissão de Processo Administrativo.
08/2014 - 11/2015
Extensão universitária , Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Atividade de extensão realizada
Recurso Educacional Aberto para o Ensino de Hierarquia de Memória - Programa Incentivo às Atividades de Extensão do ICMC.
10/2015 - 10/2015
Extensão universitária , Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Atividade de extensão realizada
Curso de Difusão Cultural Introdução à Programação CUDA.
03/2015 - 07/2015
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0640 - Sistemas Operacionais I
SSC0742 - Programação Concorrente
03/2015 - 07/2015
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5723 - Sistemas Operacionais
03/2013 - 02/2015
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro da Comissao de Segurança do ICMC/USP.
08/2014 - 12/2014
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Organização de Computadores Digitais I
08/2014 - 12/2014
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
Programação Concorrente
02/2014 - 07/2014
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I - Turma 1
SSC0112 - Organização de Computadores Digitais I - Turma 2
SSC0112 - Organização de Computadores Digitais I - Turma 3
09/2013 - 06/2014
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Membro do Conselho do SSC, representando a categoria dos Doutores (MS-3).
08/2013 - 12/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0610 - Organização de Computadores Digitais I
08/2013 - 12/2013
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC0510 - Arquitetura de Computadores
09/2011 - 09/2013
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro Suplente na Congregação do ICMC/USP, pela Categoria dos Doutores.
03/2013 - 06/2013
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5753 - Tópicos Avançados de Arquitetura de Computadores
02/2013 - 06/2013
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I - Turma 1
SSC0112 - Organização de Computadores Digitais I - Turma 2
06/2011 - 05/2013
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro da Comissão de Estágios do ICMC/USP.
08/2012 - 12/2012
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5795 - Programação Concorrente
07/2012 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0610 - Organização de Computadores Digitais I
07/2012 - 12/2012
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC0510 - Arquitetura de Computadores
02/2012 - 07/2012
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I - Turma 1
SSC0112 - Organização de Computadores Digitais I - Turma 2
09/2011 - 12/2011
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0114 - Arquitetura de Computadores
08/2011 - 12/2011
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5795 - Programação Concorrente
SSC5903 - Tópicos Avançados em Avaliação de Desempenho
04/2009 - 05/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Presidente da Comissão de Estágios do ICMC/USP.
09/2008 - 08/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Representante da Categoria dos Doutores no Conselho Departamental do SSC.
04/2007 - 08/2010
Conselhos, Comissões e Consultoria, Comissão de Estágios do ICMC/USP, .

Cargo ou função
Presidente da Comissão de Estágios do ICMC/USP.
02/2010 - 07/2010
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0143 - Programação Concorrente - Turma 1
SSC0143 - Programação Concorrente - Turma 2
02/2010 - 07/2010
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0742 - Programação Concorrente
10/2009 - 12/2009
Ensino, Mecatrônica, Nível: Graduação

Disciplinas ministradas
SSC0300 - Linguagens de Programação e Aplicações
08/2009 - 12/2009
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0112 - Organização de Computadores Digitais I - Turma 1
SSC0112 - Organização de Computadores Digitais I - Turma 2
07/2007 - 07/2009
Conselhos, Comissões e Consultoria, Conselho Deliberativo do CISC, .

Cargo ou função
Suplente no Conselho Deliberativo do CISC.
02/2009 - 06/2009
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SSC0143 - Programação Concorrente - Turma 1
SSC-143 - Programação Concorrente - Turma 2
02/2009 - 06/2009
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC0742 - Programação Concorrente
08/2008 - 12/2008
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0279 - Seminários Avançados em Sistemas Distribuídos e Programação Concorrente I
08/2008 - 12/2008
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SCE0607 - Organização de Computadores Digitais I
08/2008 - 11/2008
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SCE5795 - Programação Concorrente
9/2006 - 08/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Membro da Comissáo de Informática do ICMC/USP (representante do SSC).
09/2006 - 08/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro Suplente da Categoria dos Doutores no Conselho Departamental do SSC.
02/2008 - 07/2008
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0217 - Programação Concorrente - Turma 1
SCE0217 - Programação Concorrente - Turma 2
02/2008 - 07/2008
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SCE0704 - Programação Concorrente
07/2007 - 12/2007
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0157 - Organização de Computadores Digitais I - Turma 1
SCE0157 - Organização de Computadores Digitais I - Turma 2
10/2006 - 09/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Suplente de representante do SSC na Comissão de Biblioteca do ICMC.
02/2007 - 06/2007
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0217 - Programação Concorrente - Turma 1
SCE0217 - Programação Concorrente - Turma 2
02/2007 - 06/2007
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SCE0704 - Programação Concorrente
10/2006 - 03/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro da Comissão de Estágios do ICMC/USP.
07/2006 - 12/2006
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0157 - Organização de Computadores Digitais I - Turma 1
SCE0157 - Organização de Computadores Digitais I - Turma 2
9/2006 - 11/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação Ssc.

Cargo ou função
Membro de Comissão de Sindicância Administrativa.
4/2006 - 9/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências de Computação Scc.

Cargo ou função
Coordenador da Comissão de Compras do SCC.
8/2005 - 9/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências de Computação e Estatística Sce.

Cargo ou função
Suplente de representante da categoria doutor CD-SCE (depois SCC).
12/2005 - 08/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Matemáticas e de Computação, .

Cargo ou função
Membro da Comissão de Estágios do ICMC/USP.
02/2006 - 07/2006
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0217 - Programação Concorrente - Turma 1
SCE0217 - Programação Concorrente - Turma 2
02/2006 - 07/2006
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SCE0704 - Programação Concorrente
10/2005 - 1/2006
Conselhos, Comissões e Consultoria, Centro de Informática de São Carlos Cisc, Centro de Informática de São Carlos Cisc.

Cargo ou função
Membro da Comissão Julgadora do Proc.Sel. para Téc. de Telecomunicações junto ao CISC/USP.
08/2005 - 12/2005
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0237 - Redes de Alto Desempenho - Turma 1
SCE0237 - Redes de Alto Desempenho - Turma 2
08/2005 - 12/2005
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE0563 - Redes de Alto Desempenho
05/2005 - 07/2005
Ensino, Bacharelado Em Ciências de Computação, Nível: Graduação

Disciplinas ministradas
SCE0217 - Programação Concorrente
05/2005 - 07/2005
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE0565 - Organização de Computadores Digitais I

Universidade Estadual de Ponta Grossa, UEPG, Brasil.
Vínculo institucional

1991 - 2005
Vínculo: , Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Atuei como Professor Auxiliar na UEPG de Março/1991 a Junho/1996. Com a obtenção do título de Mestre em Junho/1996, passei a pertencer à classe de Professor Assistente (Julho/1996 a Junho/2000). Com a obtenção do título de Doutor em Junho/2000, passei a pertencer à classe de Professor Adjunto (Julho/2000 a Maio de 2005).

Atividades

3/2003 - 4/2005
Conselhos, Comissões e Consultoria, Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Cargo ou função
Membro colegiado curso Bel. em Informática.
03/2004 - 02/2005
Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão, .

Cargo ou função
Membro do Comitê Assessor de Bolsas de Iniciação Científica da UEPG - PIBIC/UEPG.
01/2004 - 12/2004
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
Projeto
03/2004 - 09/2004
Conselhos, Comissões e Consultoria, Departamento de Informática, .

Cargo ou função
Comissão de Inquérito Disciplinar.
5/2002 - 6/2004
Conselhos, Comissões e Consultoria, Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Cargo ou função
Membro da comissão de pesquisa.
01/2003 - 12/2003
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
Projeto de Sistemas de Informação
Projeto
11/2003 - 11/2003
Extensão universitária , Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Atividade de extensão realizada
Coordenação do ProComp - I Mostra de Projetos em Computação.
04/2003 - 06/2003
Outras atividades técnico-científicas , Departamento de Informática, Departamento de Informática.

Atividade realizada
Criação do Laboratório de Computação de Alto Desempenho - LCAD.
3/2001 - 3/2003
Conselhos, Comissões e Consultoria, Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Cargo ou função
Membro colegiado curso Bel. em Informática.
1/2002 - 12/2002
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
1/2001 - 12/2001
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
Organização de Computadores
8/2000 - 12/2000
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Estrutura da Informação
Organização de Computadores
Programação Concorrente Paralela
08/2000 - 12/2000
Conselhos, Comissões e Consultoria, Departamento de Informática, .

Cargo ou função
Comissão para Criação de Critérios de Liberação para a Pós-Graduação no DeInfo.
8/2000 - 8/2000
Extensão universitária , Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Atividade de extensão realizada
Palestra sobre Escalonamento em Computação Distribuída.
9/1992 - 01/1994
Direção e administração, Departamento de Informática, .

Cargo ou função
Membro da Comissão Permanente de Informática da UEPG.
2/1992 - 1/1994
Direção e administração, Departamento de Informática, .

Cargo ou função
Chefe de Departamento.
3/1991 - 12/1993
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Estruturas de Programação
Informática Básica


Linhas de pesquisa


1.
Métodos e Ferramentas para o Desenvolvimento de Aplicações de Alto Desempenho
2.
Teste de Programas Concorrentes, Paralelos e Distribuídos
3.
Métodos e Ferramentas Computacionais de Apoio ao Ensino em Computação
4.
Blockchain


Projetos de pesquisa


2018 - 2018
CNPq - Auxílio à Pesquisa - ARC - Organização do WSCAD 2018
Descrição: Projeto aprovado no CNPq para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018. O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela..
Situação: Concluído; Natureza: Pesquisa.
2018 - 2018
CAPES - Auxílio à Pesquisa - PAEP - Organização do WSCAD 2018
Descrição: Projeto CAPES nr 88887.191254/2018-00 para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018. O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela..
Situação: Concluído; Natureza: Pesquisa.
2018 - 2018
FAPESP - Auxílio à Pesquisa - Organização de Reunião Científica - WSCAD 2018
Descrição: Projeto FAPESP nr 2018/08343-8 para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018. O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (47) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Calebe de Paula Bianchini - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2018 - Atual
Predição de Estruturas de Proteínas com Algoritmos Paralelos Ortogonais às Plataformas Paralelas
Descrição: Projeto FAPESP nr 2017/25410-8 aprovado pela FAPESP sobre Computação de Alto Desempenho Aplicada à Predição de Estrutura de Proteínas, para a IC de Matheus Henrique Junqueira Saldanha..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Número de produções C, T & A: 1 / Número de orientações: 1
2017 - 2017
CAPES - Auxílio à Pesquisa - PAEP - Organização da ERAD-SP 2017
Descrição: CAPES processo nr 88881.123431/2016-01 A 8ª ERAD-SP, ou ERAD-SP 2017, (http://www.sbc.org.br/eradsp2017) foi realizada de 08/04/2017 a 10/04/2017 no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP), em São Carlos. Além da instituição sede (ICMC/USP), o comitê organizador deste evento também contou com colaboradores de diferentes instituições, como: Universidade Federal de São Carlos (UFSCar), Universidade Federal de São Paulo (UNIFESP), Universidade Federal do ABC (UFABC), Universidade Presbiteriana Mackenzie (Mackenzie), Instituto Federal de Educação de São Paulo (IFSP - São Carlos, Catanduva e Araraquara), Faculdade de Tecnologia de São Paulo (FATEC) e Universidade Paulista (UNIP). O principal objetivo da ERAD-SP 2017 foi disseminar a importância, os desafios e as perspectivas dos conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos, a estudantes de graduação (em especial), pós-graduação e profissionais das ciências exatas de todo o nosso país. Além deste, a ERAD-SP 2017 visou integrar pesquisadores, estudantes e profissionais, alinhando a comunidade em relação ao presente e ao futuro da Computação de Alto Desempenho..
Situação: Concluído; Natureza: Pesquisa.
2017 - 2017
CNPq - Auxílio à Pesquisa - ARC - Organização da ERAD-SP 2017
Descrição: Projeto aprovado no CNPq nr 441761/2016-0 para a realização da ERAD-SP 2017 A 8ª ERAD-SP, ou ERAD-SP 2017, (http://www.sbc.org.br/eradsp2017) foi realizada de 08/04/2017 a 10/04/2017 no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP), em São Carlos. Além da instituição sede (ICMC/USP), o comitê organizador deste evento também contou com colaboradores de diferentes instituições, como: Universidade Federal de São Carlos (UFSCar), Universidade Federal de São Paulo (UNIFESP), Universidade Federal do ABC (UFABC), Universidade Presbiteriana Mackenzie (Mackenzie), Instituto Federal de Educação de São Paulo (IFSP - São Carlos, Catanduva e Araraquara), Faculdade de Tecnologia de São Paulo (FATEC) e Universidade Paulista (UNIP). O principal objetivo da ERAD-SP 2017 foi disseminar a importância, os desafios e as perspectivas dos conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos, a estudantes de graduação (em especial), pós-graduação e profissionais das ciências exatas de todo o nosso país. Além deste, a ERAD-SP 2017 visou integrar pesquisadores, estudantes e profissionais, alinhando a comunidade em relação ao presente e ao futuro da Computação de Alto Desempenho..
Situação: Concluído; Natureza: Pesquisa.
2016 - 2017
FAPESP- Auxílio à Pesquisa - Organização de Reunião Científica - 8a Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2017
Descrição: Projeto FAPESP nr 2016/25819-0 A ERAD-SP 2017 dissemina conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos a alunos de graduação, pós-graduação e profissionais das ciências de todo o nosso país. A Escola tradicionalmente tem unido jovens talentos da academia, pesquisadores e profissionais em torno de um tema estratégico para a geração de conhecimento, vantagem competitiva e riqueza para São Paulo. A ERAD-SP mostra as pesquisas que vêm sendo desenvolvidas na academia, tanto aos profissionais que atuam no mercado de trabalho quanto para novos alunos que buscam entender o que significa trabalhar com a computação de alto desempenho. Pesquisa de ponta, reciclagem e disseminação de conhecimento são características inerentes da ERAD-SP em todas as suas edições. A ERAD-SP 2017 inova em relação às edições anteriores, alterando sua programação para dar ênfase aos minicursos e ao caráter de escola do evento. Fechando os minicursos, no último dia será realizado um desafio de programação paralela, para que os participantes apliquem os novos conhecimentos adquiridos. A ERAD-SP é, portanto, uma oportunidade única em São Paulo para que profissionais da indústria, academia e alunos participem de minicursos, palestras, apresentem trabalhos com foco em tecnologias de ponta e sejam desafiados a aprimorar seus conhecimentos. Minicursos básicos apresentam conceitos e tecnologias já consolidados na atualidade para novos e jovens talentos. Minicursos avançados abordam tecnologias emergentes em Computação de Alto Desempenho. Palestras norteadoras apresentam temas específicos, desenvolvimentos em curso e novas tendências na área. Sessões de Pós-Graduação e a Sessão de Iniciação Científica oferecem a oportunidade de alunos apresentarem seus trabalhos acadêmicos em desenvolvimento, além de aproximar pessoas, fomentar o ingresso de novos alunos e consolidar a comunidade científica que atua em Computação de Alto Desempenho em São Paulo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (20) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2016 - Atual
CEPID-CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria
Descrição: MISSÃO Fornecer amplos recursos e mecanismos para conectar cientistas, engenheiros, matemáticos e especialistas em computação, a fim de enfrentar os desafios científicos e tecnológicos em um ambiente colaborativo e envolvente, formando recursos humanos de alto nível, bem como desenvolvendo novas técnicas matemáticas transformadoras e explorando suas aplicações em benefício da sociedade. VISÃO Ser líder e referência em ciências matemáticas no Brasil e no mundo, aumentando seu impacto no setor produtivo e servindo de ponte entre a matemática de mais alto nível e problemas de importância científica e tecnológica. Ser visto como Centro de excelência em áreas estratégicas para o desenvolvimento tecnológico do País, expandindo e fortalecendo a base de talentos em ciências matemáticas que possuam habilidades para aplicações interdisciplinares. E assim, futuramente, transformar-se em um Instituto Especializado. OBJETIVOS ESPECÍFICOS 1. O CEPID-CeMEAI deverá constituir-se num centro irradiador de informação em aplicações das ciências matemáticas, identificando problemas e áreas que possam beneficiar-se de novas pesquisas em ciências matemáticas e colocando-as em contato com pesquisadores de alta qualidade. O Centro deverá promover o contato de especialistas em ciências matemáticas com empresários, agentes de inovação, trabalhadores da indústria, pesquisadores e praticantes de outras áreas do conhecimento para a discussão de problemas comuns. 2. O CEPID-CeMEAI proporcionará um ambiente e terá uma programação, propícios ao desenvolvimento de pesquisas aplicadas ao setor produtivo. O Centro possibilitará a colaboração com outras áreas e a difusão do conhecimento em ciências matemáticas aplicadas. 3. O CEPID-CeMEAI deverá contribuir no sentido de construir uma comunidade multidisciplinar mais sólida e duradoura, treinando estudantes para que possam colaborar na resolução de problemas práticos e estejam preparados para propagar a filosofia do Centro a outras regiões do país. 4. O CEPID-CeMEAI promoverá a educação multidisciplinar de matemáticos e estatísticos desde o início de suas carreiras, contribuindo para a formação de uma comunidade mais aberta ao diálogo com outras áreas do conhecimento, o que deve contribuir para a utilização da matemática e da estatística numa gama maior de aplicações. 5. O CEPID-CeMEAI deverá promover as ciências matemáticas como uma ferramenta útil no desenvolvimento científico e tecnológico do Brasil e não apenas como uma arte de interesse puramente acadêmico. 6. O CEPID-CeMEAI se tornará uma referência internacional na cooperação entre universidade e indústria/governo em aplicações das ciências matemáticas..
Situação: Em andamento; Natureza: Pesquisa.
2015 - Atual
Recursos Educacionais Abertos para o Ensino da Computação
Descrição: Este projeto visa o desenvolvimento de Recursos Educacionais Abertos (REA) para o ensino da computação para alunos da graduação e da pós-graduação. Os REA desenvolvidos estão disponíveis em http://rea.lasdpc.icmc.usp.br/en/.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Sarita Mazzini Bruschi - Integrante.
Número de produções C, T & A: 3 / Número de orientações: 1
2013 - 2015
Teste Paralelo de Programas Concorrentes

Projeto certificado pela empresa Aker Security Solutions em 11/09/2015.
Descrição: A computação na atualidade é considerada pervasiva e distribuída. Sistemas computacionais estão presentes em diferentes setores da sociedade e interagem para melhorar nossa qualidade de vida. A programação concorrente está presente em tais sistemas, oferecendo primitivas para a interação (comunicação e sincronização) de processos. Estas primitivas são muito utilizadas e são responsáveis por defeitos difíceis de serem revelados, pois tais defeitos são fortemente influenciados pelo não determinismo inerente à programação concorrente. O teste de programas concorrentes insere-se nesse contexto como uma atividade essencial à busca de defeitos, valendo-se de critérios de teste específicos e do apoio de ferramentas de teste. O projeto TestPar, em desenvolvimento no ICMC/USP, visa aprimorar o teste de programas concorrentes, porém, um problema ainda está em aberto: o alto custo de aplicação deste teste. Este projeto de pesquisa em particular aborda o problema do custo, propondo a paralelização da atividade de teste estrutural de programas concorrentes desenvolvidos nos paradigmas de passagem de mensagens e memória compartilhada. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (3) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante / Simone do Rocio Senger de Souza - Integrante / Sarita Mazzini Bruschi - Integrante / Júlio Cézar Estrella - Integrante / Edward John Zaluska - Integrante / Murilo Giacometti Rocha - Integrante / Rafael Regis do Prado - Integrante / Raphael Negrisoli Batista - Integrante / Igor Vitório Custódio - Integrante / João Manuel dos Santos Lourenço - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 9 / Número de orientações: 4
2010 - 2011
Teste de Aplicações Distribuídas: Desafios Usando o Paradigma de Passagem de Mensagens
Descrição: A computação distribuída é impulsionada constantemente por avanços tecnológicos que oferecem novas soluções e novos serviços. No centro dessa evolução há aspectos de software concorrente que norteiam o desenvolvimento de aplicações distribuídas. Apesar do uso intenso de processos concorrentes, observa-se uma grande carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade nesse contexto. O projeto interdisciplinar TestPar, em desenvolvimento no ICMC/USP, visa auxiliar a validação dessas aplicações e envolve pesquisadores da Engenharia de Software e de Sistemas Distribuídos. O TestPar investiga modelos e critérios de teste para fornecer uma medida de cobertura da atividade de teste no contexto de aplicações distribuídas. Este projeto de pós-doutorado dá continuidade às pesquisas realizadas pelo candidato no projeto TestPar. O objetivo deste projeto de pós-doutorado é investigar possíveis extensões aos modelos e critérios de teste aplicados aos processos concorrentes, permitindo que esses representem outras semânticas de primitivas de comunicação e sincronização, considerando passagem de mensagens. Atualmente apenas as semânticas de primitivas ponto-a-ponto bloqueantes foram investigadas no TestPar. Serão investigadas as semânticas das primitivas não bloqueantes, coletivas e também diferentes modos da primitiva send bloqueante e não bloqueante. Os principais resultados esperados são: a extensão do modelo e dos critérios de teste para processos concorrentes com primitivas de comunicação para passagem de mensagens, a implementação de tais extensões na ferramenta de teste ValiPar. Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton/UK. O IAM destaca-se internacionalmente pelas suas pesquisas no desenvolvimento de grandes e complexos sistemas distribuídos, onde diferentes agentes interagem de maneira flexível para atingir suas metas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Edward John Zaluska - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Número de produções C, T & A: 2 / Número de orientações: 1
2008 - 2010
TestPar - Subsídios para o Teste Estrutural de Aplicações Distribuídas
Descrição: O projeto visa estender os resultados já obtidos pelos pesquisadores com o projeto ValiPVM, investigando e propondo um modelo de teste que representa os requisitos de teste necessários à validação de aplicações concorrentes, englobando os dois principais paradigmas de comunicação e sincronização: troca de mensagens e memória compartilhada. A proposta é que esse modelo seja genérico o suficiente para permitir que uma aplicação concorrente desenvolvida sob esses paradigmas possa ser testada utilizando os critérios de teste propostos. Outro objetivo é investigar as técnicas para tratar o não-determinismo e o problema de geração de pares de sincronização. Espera-se definir um método eficiente para testar esses problemas na ferramenta de teste ValiPar, em desenvolvimento pelo grupo. Como subproduto dessa investigação, a ferramenta ValiPar será estendida para que ela possa ser aplicada em programas concorrentes que utilizemm tanto memória compartilhada como troca de mensagens..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / Silvia Regina Vergilio - Integrante / Adenilso da Silva Simao - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 16 / Número de orientações: 3
2008 - 2010
Otimizando a Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente
Descrição: O uso de clusters de web services é comum no dia-a-dia de empresas que desenvolvem e integram suas aplicações baseando-se em serviços sobre a web. A implementação desses serviços por parte de aplicações é conhecida como SOA (Service Oriented Architecture). Apesar do uso de clusters nesse contexto tornar-se cada vez mais comum, há ainda uma lacuna para a distribuição eficiente de requisições aos servidores, pois o máximo que as ferramentas de software oferecem é uma distribuição round-robin. Uma distribuição das requisições deve considerar diferentes regras e objetivos. Devem ser usadas heurísticas eficientes e adaptadas à realidade das execuções em andamento. A heterogeneidade da plataforma e a influência de cargas externas aos serviços também devem ser consideradas. Em um ambiente assim, uma distribuição de requisições correta assume um papel importante para o melhor aproveitamento da estrutura computacional. Este projeto de pesquisa visa otimizar o desempenho de clusters de web services, no contexto de SOA. Pretende-se desenvolver um novo modelo e o protótipo de uma nova ferramenta capazes de incluir a atividade de escalonamento de requisições diretamente nos servidores de web services de maneira flexível, dinâmica, transparente e tolerante a falhas; viabilizando com isso um uso mais eficiente da plataforma computacional distribuída. Outro objetivo é investigar e adequar as ferramentas de monitoração de plataformas distribuídas ao contexto de SOA..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante / Simone do Rocio Senger de Souza - Integrante / Jonathan de Matos - Integrante / Sarita Mazzini Bruschi - Integrante / Rodrigo Ferreira Ladeira - Integrante / Bruno Squizato Faiçal - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 3
2007 - 2009
Políticas de Escalonamento e Controle de Admissão para Servidores Web com Diferenciação de Serviço
Descrição: Este projeto tem por objetivo pesquisar e desenvolver novas tecnologias voltadas à QoS, no contexto Web Services..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Marcos José Santana - Coordenador / Regina Helena Carlucci Santana - Integrante / Sarita Mazzini Bruschi - Integrante / Júlio Cézar Estrella - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.Número de orientações: 1
2006 - Atual
Amnésia - um simulador de hierarquia de memória
Descrição: O objetivo deste projeto é desenvolver o Amnésia, um simulador da hierarquia de memória para máquinas de von Neumann, voltado ao ensino da matéria Arquitetura de Computadores nos cursos de graduação em computação. O Amnésia simulará o funcionamento dos registradores, caches, memória principal e virtual, sendo dividido em três módulos: memória cache, memória virtual e processador. O módulo Memória Cache contemplará os diferentes níveis de cache que antecedem o acesso à RAM. O módulo Memória Virtual converterá endereços virtuais em reais, abordando inclusive o uso de discos para armazenamento temporário de posições de memória. O módulo Processador fará a geração das chamadas ao subsistema de memória, permitindo a simulação dos registradores. Como resultado espera-se contribuir para o ensino na graduação e determinar a eficiência do uso da UML na modelagem dos dispositivos básicos de hardware e software envolvidos com memória..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Simone do Rocio Senger de Souza - Integrante / Sarita Mazzini Bruschi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Universidade de São Paulo - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 3
2002 - 2008
PAD-Ambiental - Suporte Computacional de alto desempenho em
Descrição: CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00. O uso de pesticidas está associado ao aumento da produção de alimentos. O Brasil, ocupa a quinta posição entre os países que mais utilizam pesticidas. No entanto, o fator mais preocupante é que não há a contrapartida necessária em pesquisa que determine o impacto do uso desses pesticidas, como a Atrazina. A Atrazina (AT) tem sido largamente utilizada no Brasil e no mundo. A modelagem de sistemas moleculares (como os encontrados entre a Atrazina e a MOS) pode ser realizada por meio de métodos de mecânica quântica conhecidos como: métodos semi-empíricos ou ab-initio. O cálculo semi-empírico embora facilite a simulação de moléculas de cadeias médias e longas, apresenta resultados menos precisos que os feitos com ab-initio. O cálculo ab-initio (primeiros princípios) produz resultados precisos com relação às propriedades geométricas e eletrônicas das moléculas, porém, é impraticável para sistemas com um grande (real) número de átomos, simulados em plataformas monoprocessadas. Desse modo, sem um suporte adequado da Computação de Alto Desempenho, o cálculo ab-initio tem sua utilização restrita ao estudo teórico de moléculas pequenas e interação entre pequenas estruturas, estas distantes das moléculas encontradas na realidade. O objetivo deste projeto é empregar técnicas avançadas de computação de alto desempenho para melhorar a qualidade e o desempenho do método da mecânica quântica ab-initio, aplicado ao uso de pesticidas, considerando a Atrazina. Para tanto, este projeto estudará a aplicação de técnicas de computação alto desempenho para a mecânica quântica, como: modelagem e simulação de aplicações paralelas, escalonamento de processos, mecanismos de comunicação e sincronização, plataformas paralelas/distribuídas e arquiteturas avançadas de computadores..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Jonathan de Matos - Integrante / Eduardo Bortolato - Integrante / Alexandre Camilo Júnior - Integrante / Patrícia Loren Inácio - Integrante / Ronaldo Augusto de Lara Gonçalves - Integrante / João Ângelo Martini - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 4
2002 - 2005
VALIPVM - Teste e Validação de Programas Concorrentes em PVM
Descrição: CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00. A atividade de teste de software é crucial para garantir a qualidade do software, entretanto, o alto custo de aplicação compromete sua utilização prática. Este custo ocorre devido à falta de pessoas qualificadas, de ferramentas de apoio e de técnicas adequadas para a condução desta atividade. Esses problemas se agravam quando são considerados softwares paralelos. Assim, a atividade de validação de programas paralelos ainda é considerada um problema no contexto de tecnologia da informação. Muitas questões caracterizadas para programas seqüenciais não são suficientes para programas paralelos, devido às características adicionais que precisam ser consideradas durante a validação como: não determinismo, sincronização, concorrência e comunicação. Este projeto tem por objetivo principal estudar novas técnicas e critérios na área de teste de aplicações paralelas em ambientes de passagem de mensagens. Como resultado principal deste projeto pretende-se disponibilizar uma ferramenta de teste que automatize as técnicas e critérios de teste definidos e que possa ser aplicada em problemas reais que necessitem desta tecnologia. A ferramenta irá propiciar as seguintes atividades: geração, seleção e execução de testes, avaliação da cobertura dos testes, depuração e análise dos resultados. Em um primeiro momento, pretende-se definir a ferramenta voltada para o ambiente de passagem de mensagem PVM - Parallel Virtual Machine e, na seqüência, para o ambiente MPI - Message Passing Interface. Com a disponibilidade da ferramenta, pretende-se capacitar pessoas para atuarem na área de teste de software, disseminando a cultura de validação de softwares paralelos em empresas e centros de pesquisa da região. Outro objetivo que se pretende atingir é identificar parcerias com empresas da região que possam ser favorecidas com o fruto desta pesquisa, fortalecendo a interação entre Universidade e Empresa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / João Walter Bruno - Integrante / Thiago Bliscosque Gonçalves - Integrante / Alexandre de Melo Lima - Integrante / Silvia Regina Vergilio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2001 - 2002
Kit Enxoval Recem-Doutor - CNPq - Escalonamento de Processos
Descrição: O uso de microprocessadores heterogêneos genéricos tem contribuído para o avanço da computação paralela em plataformas distribuídas, como uma alternativa barata e eficiente de operar dados científicos. Para um melhor aproveitamento do potencial computacional destas plataformas se deve considerar um bom escalonamento dos processos envolvidos, inclusive considerando microprocessadores de diferentes arquiteturas. Este trabalho aborda a MinMax (Minimal Resources for Maximal Performance), uma nova política de escalonamento CPU-Bound que adota como diretivas de escalonamento o balanceamento de carga e o conceito de Recursos Mínimos. A MinMax está inserida em um projeto maior, denominado AMIGO - DynAMcal FlexIble SchedulinG EnvirOnment, uma ferramenta de software aberta que cria um ambiente gerenciador de escalonamento dinâmico e transparente ao usuário, através do uso de diferentes políticas de escalonamento. O AMIGO age como um mediador entre as políticas e o ambiente de passagem de mensagens (MPI, Corba, PVM, etc.). Os Recursos Mínimos da MinMax funcionam como um filtro da plataforma distribuída, selecionando máquinas que se enquadram em pré-requisitos estabelecidos pela aplicação a ser processada, considerando itens como: processador, arquitetura, memória, freqüência, cache e taxa de transferência de rede. A partir desta pré-seleção, é ativado o balanceamento de carga que se encarrega de distribuir uniformemente os processos dentre os hosts aprovados para tal, buscando sempre um escalonamento sub-ótimo. A MinMax apresenta características de portabilidade, as quais permitem a sua execução em diferentes arquiteturas, tais como a x86 e a SPARC. Para a troca de informações entre arquiteturas heterogêneas está sendo estudado o padrão XDR(eXternal Data Representation), o qual permite que a comunicação entre os processos esteja em um padrão reconhecido por todas as máquinas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Diogo Colla Pereira - Integrante / William Voorsluys - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 2
2001 - 2002
Kit Enxoval Recem Doutor - CNPq - Monitoração de Clusters
Descrição: Este trabalho teve o objetivo de desenvolver uma ferramenta de monitoração de clusters voltada ao escalonamento de processos. Esta ferramenta agrupa várias métricas usadas em políticas de escalonamento, permitindo visualizar e avaliar o desempenho de clusters. A ferramenta fornece informações em tempo real, através de sua interface gráfica amigável, e posterior a sua execução, através dos arquivos de rastro. A análise da ferramenta por meio de experimentos demonstrou que a mesma, possui comportamento estável, e que alcançou seus objetivos, auxiliando no desenvolvimento de políticas de escalonamento e contribuindo com o balanceamento de carga no cluster..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Daniel Kikuti - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2000 - 2005
AMIGO - dynamical flexible scheduling environment
Descrição: O AMIGO (DynAMical FlexIble SchedulinG EnvirOnment) é uma ferramenta de software capaz de viabilizar a união de diferentes algoritmos de escalonamento, de uma maneira completamente transparente ao usuário. O AMIGO flexibiliza o escalonamento (em tempo de execução da aplicação) desde a sua configuração até a sua efetiva aplicação. Além da flexibilidade dinâmica e da transparência, o AMIGO também é modular: o seu projeto está dividido em módulos que, entre outras vantagens, facilitam sua execução em diferentes plataformas. Este projeto reúne diferentes investigações em torno do tema "escalonamento de processos em plataformas distribuídas", realizadas no grupo de Sistemas Distribuídos e Programação Concorrente do ICMC/USP..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante.
Número de produções C, T & A: 24 / Número de orientações: 5
1993 - 1994
Desenvolvimento de um Software para Seleção e Planejamento do Uso da Maquinaria Agrícola no Programa de Produção da Fazenda Escola na UEPG
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2018 - 2018
Introdução à Programação Paralela com C/PThreads
Descrição: Curso de Extensão de Difusão Cultural voltado para alunos que estão cursando o primeiro ano da graduação em cursos de computação e comunidade em geral com conhecimentos básicos de programação estruturada em C. Os objetivos deste projeto de extensão são: estimular os alunos de computação de começo de curso a pensarem em paralelo no desenvolvimento de algoritmos; introduzir a programação de threads para máquinas MIMD com memória compartilhada; e introduzir o modelo de programação C/Pthreads..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (35) / Mestrado acadêmico: (3) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador.
2018 - 2018
Introdução à Programação Paralela com C/OpenMP: um curso hands-on
Descrição: Curso de Extensão de Difusão Cultural voltado para alunos que estão cursando o primeiro ano da graduação em cursos de computação e comunidade em geral com conhecimentos básicos de programação estruturada em C. Os objetivos deste projeto são: estimular os alunos de computação de começo de curso a pensarem em paralelo no desenvolvimento de algoritmos; introduzir a programação de threads para máquinas MIMD com memória compartilhada; e introduzir o modelo de programação C/OpenMP..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (35) / Mestrado acadêmico: (3) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador.
2015 - 2015
Introdução à Computação de Alto Desempenho com GPU e CUDA
Descrição: De forma geral, ao final do curso os alunos deverão ser capazes de desenvolver programas concorrentes usando um modelo de programação heterogêneo centrado em CUDA e com MPI/OpenMP. De maneira específica, os objetivos deste curso de extensão são: -Transmitir conhecimentos básicos de computação de alto desempenho em unidades de processamento gráfico (Graphics Processing Unit - GPU), utilizando CUDA e a linguagem C. -Capacitar o estudante na resolução de problemas não gráficos que requerem alto poder de processamento com GPU e CUDA. -Ensinar o desenvolvimento de programas paralelos que utilizam CUDA, MPI e OpenMP..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (15) / Doutorado: (1) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Helder Jefferson Ferreira da Luz - Integrante.
2014 - 2015
Recurso Educacional Aberto para o Ensino de Hierarquia de Memória
Descrição: Projeto submetido ao ICMC em atendimento ao edital 01/2014 - Programa de Incentivo às Atividades de Extensão do ICMC..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Sarita Mazzini Bruschi - Integrante / Fernando Tiosso - Integrante / Carlos Emílio de Andrade Cacho - Integrante.Financiador(es): Instituto de Ciências Matemáticas e de Computação Usp São Carlos - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1
2009 - 2009
Tendência do Mercado x Processo Seletivo
Descrição: Difusão cultural destinada aos alunos da graduação da USP em São Carlos e a Comunidade em Geral, a fim de transmitir conhecimentos práticos sobre as atividades desenvolvidas pelas empresas durante seus processos seletivos de contratação de estagiários. A proposta do curso é trazer aos alunos de Ciências Exatas e de Tecnologia, aspectos pertinentes a dinâmicas de grupo, entrevistas e análise de currículos, estes realizados pelas empresas durante seus processos seletivos. Espera-se como este curso fornecer aos participantes uma visão sobre aspectos comportamentais, preparando-os para esta etapa da sua vida profissional, p potencializando, com isso, seu ingresso em boas empresas. O objetivo do curso é transmitir aos alunos aspectos práticos da participação em dinâmicas de grupo, entrevistas para seleção de estagiários e elaboração de currículos aos alunos vitae..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (40) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Camila Alecsandra Silva de Oliveira Prata - Integrante / Ana Carolina de Carvalho - Integrante.
2007 - 2007
Instalação e Configuração de Clusters Beowulf
Descrição: Instalação e configuração de cluster diskfull; instalação e configuração de cluster diskless; instalação e configuração de RAMDISK; instalação e configuração de ambientes de passagem de mensagens; exemplos de aplicações paralelas, desenvolvidas com ambientes de passagem de mensagens..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (24) / Mestrado acadêmico: (2) .
Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Felipe Santos Sarmanho - Integrante / Guilherme Mundim Torres - Integrante.


Membro de corpo editorial


2008 - 2012
Periódico: INFOCOMP (UFLA)


Revisor de periódico


2004 - Atual
Periódico: Publicatio UEPG. Ciências Exatas e da Terra, Ciências Agrárias e Engenharia
2008 - Atual
Periódico: INFOCOMP (UFLA. Impresso)
2012 - Atual
Periódico: International Journal of Distributed Sensor Networks (Online)
2015 - Atual
Periódico: The Journal of Systems and Software
2017 - Atual
Periódico: IEEE TRANSACTIONS ON RELIABILITY


Revisor de projeto de fomento


2016 - 2016
Agência de fomento: Universidade Federal de São Carlos
2007 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo
2004 - Atual
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2001 - 2001
Agência de fomento: Universidade Estadual do Centro-Oeste


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas Distribuídos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Programação Concorrente.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
6.
Grande área: Ciências Humanas / Área: Educação / Subárea: Tópicos Específicos de Educação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2018
Paraninfo Formandos 2017 Curso de Engenharia de Computação, EESC - ICMC - USP.
2018
Professor Homenageado pelas aulas de Organização de Computadores Digitais I em 2018/1, Comissão de Graduação do ICMC/USP e Grupo PET Computação ICMC.
2018
Selecionado entre os melhores trabalhos de IC da 1a etapa do SIICUSP 2018 para participar da Etapa Internacional do 26o. SIICUSP, Universidade de São Paulo.
2017
Professor Homenageado da Engenharia de Computação - Formandos 2016, EESC - ICMC - USP.
2016
Professor Homenageado pelas aulas de Programação Concorrente em 2016/1, Secretaria Acadêmica da Engenharia de Computação (SAECOMP).
2015
Professor Homenageado pelas aulas Sistemas Operacionais ministradas em 2015/1 para a EngComp, Secretaria Acadêmica da Engenharia de Computação (SAE2015).
2014
Professor Homenageado pelas aulas de Organização de Computadores Digitais I em 2013/2, Secretaria Acadêmica da Engenharia de Computação (SAECOMP).
2010
Professor Homenageado Formandos 2009 Ciências de Computação, Curso de Bacharelado em Ciências de Computação do ICMC/USP.
2009
Professor Homenageado Formandos 2008 Ciências de Computação, Curso de Bacharelado em Ciências de Comptação do ICMC/USP.
2008
50o. Prêmio Jabuti - Melhor Livro de Ciências Exatas, Tecnologia e Informática, CBL - Câmara Brasileira do Livro.
2003
Segundo Lugar entre os Melhores Projetos de Conclusão de Curso, Departamento de Informática da Universidade Estadual de Ponta Grossa.
1996
Menções de Distinção e Louvor Proferidas pela Banca de Avaliação de Mestrado, Comissão de Pós-Graduação do ICMC/USP.
1990
Aprovação em Concurso Público para Programador de Computador, Prefeitura Municipal de Ponta Grossa.
1985
Primeiro Lugar no Concurso Literário da Semana do Exército, Comando da 5a. Brigada de Infantaria Blindadada - Ponta Grossa/PR.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:9
Total de citações:28
Fator H:3
Souza, Paulo S. L.  Data: 28/07/2016

Outras
Total de trabalhos:107
Total de citações:448
Paulo Sérgio Lopes de Souza; Paulo Sergio Lopes de Souza; Paulo Sérgio Souza; Paulo Sergio Souza; Paulo Souza; Paulo S. L. de Souza; Paulo S. L. Souza; Paulo S.L. de Souza; Paulo S.L. Souza; P. S. L. de Souza; P. S. L. Souza; P.S.L. de Souza; P.S.L. Souza; P S L de Souza; P S L Souza; PSL de Souza; PSL Souza  Data: 10/12/2018

Artigos completos publicados em periódicos

1.
MELO, SILVANA M.2019MELO, SILVANA M. ; CARVER, JEFFREY C. ; SOUZA, PAULO S.L. ; SOUZA, SIMONE R.S. . Empirical research on concurrent software testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 105, p. 226-251, 2019.

2.
MELO, SILVANA MORITA2017 MELO, SILVANA MORITA ; DE SOUZA, SIMONE DO ROCIO SENGER ; SARMANHO, FELIPE SANTOS ; SOUZA, PAULO SERGIO LOPES DE . Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 1, p. 1-39, 2017.

3.
Cacho, C. E. A.2016Cacho, C. E. A. ; SOUZA, P. S. L. ; Bruschi, S.M. ; BARBOSA, E. F. ; TIOSSO, F. . Amnesia: um Recurso Educacional Aberto para o Ensino de Memoria Virtual. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION, v. 5, p. 13-18, 2016.

4.
Silva, R.A.2016Silva, R.A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . A Systematic Review on Search Based Mutation Testing. Information and Software Technology, p. 1, 2016.

5.
SOUZA, S. R. S.2015SOUZA, S. R. S. ; SOUZA, P. S. L. ; BRITO, M. A. S. ; SIMAO, A. S. ; ZALUSKA, E. J. . Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability, v. 25, p. 310-332, 2015.

6.
NUNES, L. H.2015NUNES, L. H. ; ESTRELLA, J. C. ; FERREIRA, C. H. G. ; NAKAMURA, L. H. ; LIBARDI, R. M. O. ; OLIVEIRA, E. M. ; KUEHNE, B. T. ; SOUZA, P. S. L. ; SANTANA, R. H. C. ; SANTANA, M. J. ; REIFF-MARGANIEC, S. . DCA-SERVICES: a Distributed and Collaborative Architecture for Conducting Experiments in Service Oriented Systems. International Journal of Services Computing, v. 3, p. 14-28, 2015.

7.
SOUZA, PAULO S.L.2014SOUZA, PAULO S.L.; SOUZA, SIMONE R.S. ; ZALUSKA, ED . Structural testing for message-passing concurrent programs: an-extended test model. Concurrency and Computation, v. 26, p. 21-50, 2014.

8.
Souza, P.S.L.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, v. 8, p. e68819, 2013.

9.
BONETTI, DANIEL R.F.2013BONETTI, DANIEL R.F. ; DELBEM, ALEXANDRE C.B. ; TRAVIESO, GONZALO ; DE SOUZA, PAULO SERGIO L. . Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction. Concurrency and Computation, v. 25, p. 2170-2186, 2013.

10.
SOUZA, P. S. L.2011SOUZA, P. S. L.; Hitoshi, F. ; Santana, M.J. ; Santana, R.H.C. ; Bruschi, S.M. ; Branco, K.R.L.J.C. . Applying the Heterogeneity Level Metric in a Distributed Platform. INFOCOMP (UFLA. Impresso), v. 10, p. 17-25, 2011.

11.
Souza, S.R.S.2008 Souza, S.R.S. ; Vergilio, S.R. ; SOUZA, P. S. L. ; Simao, A.S. ; Hausen, A.C. . Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008.

12.
Matos, J.2008Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; 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 (Impresso), v. 14, p. 79-97, 2008.

13.
Matos, J.2006Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; Martini, J.A. ; Goncalves, R.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.

14.
Kikuti, D.2003Kikuti, D. ; SOUZA, P. S. L. ; Souza, S.R.S. . Using Portable Monitoring for Heterogeneous Clusters on Windows and Linux Operating Systems. Journal of Computer Science and Technology (La Plata. En línea), Buenos Aires - Argentina, v. 3, n.2, p. 15-21, 2003.

15.
Zambianco Jr., R.A.2002Zambianco Jr., R.A. ; Souza, S.R.S. ; SOUZA, P. S. L. . REACH-TREE: Uma Ferramenta para Geração de Árvore de Alcançabilidade para Sistemas Especificados em Estelle. Revista Eletrônica de Iniciação Científica, Site da REIC / SBC, v. II, n.setembro, p. 1-10, 2002.

16.
Giacometti, C.2002Giacometti, C. ; Souza, S.R.S. ; SOUZA, P. S. L. . Teste de Mutação para a Validação de Aplicações Concorrentes usando PVM. REIC. Revista Eletrônica de Iniciação Científica, Site da REIC na SBC, v. II, n.Setembro, 2002.

Capítulos de livros publicados
1.
Oliveira, A. P. ; DE SOUZA, PAULO SERGIO L. ; SOUZA, S. R. S. . Programação Concorrente em Erlang. In: Alexandro Baldassin. (Org.). Minicursos do WSCAD 2017. 1ed.Porto Alegre: SBC, 2017, v. 1, p. 82-94.

2.
SOUZA, S. R. S. ; SOUZA, P. S. L. ; Melo, S.M. ; Silva, R.A. ; Vergilio, S.R. . Teste de Programas Concorrentes. In: Mario Jino; José Carlos Maldonado; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software - 2a ed.. 2ed.São Paulo: Elsevier, 2016, v. 1, p. 261-296.

3.
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. ; 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.

4.
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.

Textos em jornais de notícias/revistas
1.
Santana, M.J. ; SOUZA, P. S. L. ; Santana, R.H.C. . Jaz Drive 1.0 Gbyte exige avaliação de custo/benefício. Jornal Folha de São Paulo, São Paulo, p. 7 - 7, 12 jun. 1996.

Trabalhos completos publicados em anais de congressos
1.
LOPES, G. R. ; SOUZA, PAULO S. L. ; Delbem, A.C.B. . A Systematic Mapping on High-Performance Computing for Protein Structure Prediction. In: 13th International Meeting on High Performance Computing for Computational Science, 2018, São Pedro. Proceedings of VECPAR 2018 (LNCS - waiting for data). New York: Springer, 2018. v. 1. p. 1-14.

2.
BACHIEGA, NAYLOR G. ; SOUZA, PAULO S. L. ; BRUSCHI, SARITA M. ; DE SOUZA, SIMONE DO R. S. . Container-Based Performance Evaluation: A Survey and Challenges. In: 2018 IEEE International Conference on Cloud Engineering (IC2E), 2018, Orlando. 2018 IEEE International Conference on Cloud Engineering (IC2E). New York: IEEE, 2018. v. 1. p. 398-403.

3.
BACHIEGA, N. G. ; SOUZA, PAULO S. L. ; Bruschi, S.M. ; SOUZA, S. R. S. . Um Panorama do Ensino de Programação Paralela e Distribuída em Universidades Brasileiras. In: IV Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2018), pertencente ao Congresso Brasileiro de Informática na Educação (CBIE 2018), 2018, Fortaleza. Anais do CBIE 2018. Porto Alegre: SBC, 2018. v. 1. p. 1-10.

4.
SEGURA, D. C. M. ; Stabile, R. S. ; BRUSCHI, SARITA M. ; SOUZA, PAULO SERGIO LOPES DE . Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study. In: 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'17), 2017, Miami. 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'17). New York: ACM Press, 2017. v. 1. p. 1-10.

5.
BACHIEGA, NAYLOR ; SOUZA, PAULO LOPES DE ; BRUSCHI, SARITA ; SOUZA, SIMONE . Mapeamento Sistemático do Ensino Teórico e Prático de Programação Paralela. In: VI Congresso Brasileiro de Informática na Educação, 2017, Recife. org.crossref.xschema._1.Title@4b63bbb2. Porto Alegre: SBC, 2017. v. 1. p. 1089-1098.

6.
CACHO, CARLOS E. A. ; SOUZA, PAULO S. L. ; BRUSCHI, SARITA M. ; BARBOSA, ELLEN F. ; TIOSSO, FERNANDO . An interactive approach for the teaching of virtual memory using open educational resources. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. v. 1. p. 225-231.

7.
VILELA, R. F. ; SOUZA, PAULO S. L. ; Delamaro, M.E. ; Souza, S.R.S. . Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. In: XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016, Quito, Equador. Proceedings of 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016. v. 1. p. 242-255.

8.
Brito, M.A.S. ; SANTOS, M. P. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . A Systematic Mapping of Data Generation for Integration Software Testing. In: XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016, Quito, Equador. Proceedings of 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016. v. 1. p. 229-241.

9.
Prado, R.R. ; SOUZA, PAULO S. L. ; Souza, S.R.S. ; Dourado, G. G. M. ; Batista, R. N. . ValiPar Service: Structural Testing of Concurrent Programs as a Web Service Composition. In: 13th Information Technology: New Generation (ITNG 2016), 2016, Las Vegas. Proceedings of 13th Information Technology: New Generation (. Berlim: Springer International Publishing - Conference Publishing Services, 2016. v. 448. p. 581-590.

10.
Pinto, V. H. S. C. ; Luz, H. J. F. ; OLIVEIRA, R. R. ; SOUZA, PAULO S. L. ; Souza, S.R.S. . A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. In: The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), 2016, Redwood City, California, USA. Proceedings of the Twenty-Eighth International Conference on Software Engineering & Knowledge Engineering, 2016. v. 1. p. 1-6.

11.
OLIVEIRA, ALEXANDRE P. ; SOUZA, PAULO S. L. ; SOUZA, SIMONE R. S. . ValiErlang. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2016. v. 1. p. 1-10.

12.
FIORAVANTI, M. L. ; KAMADA, M. K. ; SOUZA, P. S. L. ; BARBOSA, E. F. . I3S Simulator: An Open Educational Resource for Teaching Scheduling in Interactive Systems. In: XXI Congreso Internacional de Informática Educativa (TISE 2016), 2016, Santiago, Chile. XXI Congreso Internacional de Informática Educativa (TISE 2016). Santiago: Universidad de Chile, 2016. v. 1. p. 1-12.

13.
SOUZA, PAULO S. L.; Batista, R. N. ; SOUZA, SIMONE R. S. ; PRADO, RAFAEL R. ; DOURADO, GEORGE G. M. ; ESTRELLA, JULIO C. . Trace Generation and Deterministic Execution for Concurrent Programs. In: XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016), 2016, Aracajú. XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016). Porto Alegre: SBC, 2016. v. 1. p. 230-241.

14.
MELO, SILVANA M. ; SOUZA, SIMONE R. S. ; SILVA, RODOLFO A. ; SOUZA, PAULO S. L. . Concurrent software testing in practice: a catalog of tools. In: the 6th International Workshop, 2015, Bergamo. Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015. v. 1. p. 31-40.

15.
PRADO, RAFAEL R. ; SOUZA, PAULO S. L. ; DOURADO, GEORGE G. M. ; SOUZA, SIMONE R. S. ; ESTRELLA, JULIO C. ; BRUSCHI, SARITA M. ; LOURENCO, JOAO . Extracting static and dynamic structural information from java concurrent programs for coverage testing. In: 2015 XLI Latin American Computing Conference (CLEI), 2015, Arequipa. 2015 Latin American Computing Conference (CLEI). v. 1. p. 1-73.

16.
TIOSSO, F. ; Bruschi, S.M. ; SOUZA, PAULO S. L. ; BARBOSA, E. F. ; Cacho, C. E. A. . Amnesia:a Learning Object for Memory Hierarchy Teaching. In: Frontiers in Education, 2015, El Paso, Texas. Proceedings of FIE2015. New York: IEEE, 2015. v. 1. p. 1558-1564.

17.
Oliveira, A. P. ; SOUZA, PAULO S. L. ; Estrella, J.C. ; Bruschi, S.M. ; Souza, S.R.S. . Teste Estrutural Aplicado à Linguagem Funcional Erlang. In: 9th Brazilian Workshop on Systematic and Automated Software Testing, 2015, Belo Horizonte. Proceedings of SAST2015. Porto Alegre: SBC, 2015. v. 1. p. 41-50.

18.
BRITO, MARIA ; SANTOS, MARCOS ; SOUZA, PAULO ; SOUZA, SIMONE . Integration testing criteria for mobile robotic systems. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. v. 1. p. 182-187.

19.
Oliveira, A. P. ; SOUZA, PAULO S. L. ; Souza, S.R.S. ; Estrella, J.C. ; Bruschi, S.M. . A Systematic Mapping about Testing of Functional Programs. In: International Conference on Software Engineering Research and Practice, 2015, Las Vegas. Proceedings of SERP2015, 2015. v. 1. p. 64-70.

20.
Pinto, V. H. S. C. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . Estudo e Definição de uma Estratégia Sistemática de Teste para Aplicações na Nuvem. In: V Workshop de Teses e Dissertações do CBSoft, 2015, Belo Horizonte. Anais do WTDSOFT/CBSOFT 2015. Porto Alegre: SBC, 2015. v. 1. p. 1-7.

21.
VILELA, R. F. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes. In: V Workshop de Teses e Dissertações do CBSoft, 2015, Belo Horizonte. Anais do WTDSOFT/CBSOFT 2015. Porto Alegre: Sociedade Brasileira de Computação - SBC, 2015. v. 1. p. 1-6.

22.
SILVA, J. D. P. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . Geração Automática de Dados de Teste para Programas Concorrentes com uso de Meta-heurísticas. In: 8th Brazilian Workshop on Systematic and Automated Software Testing - SAST 2014 (CBSOFT2014), 2014, Maceió. Proceedings of the CBSOFT 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 71-80.

23.
TIOSSO, F. ; Bruschi, S.M. ; SOUZA, PAULO S. L. ; BARBOSA, E. F. . Amnesia: um Objeto de Aprendizagem para o Ensino de Hierarquia de Memória. In: 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014), 2014, Dourados. Proceedings of the 25o. Simpósio Brasileiro de Informática na Educação. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 1-10.

24.
OLIVEIRA, EDVARD MARTINS ; ESTRELLA, JULIO CEZAR ; KUEHNE, BRUNO TARDIOLE ; FILHO, DIONISIO MACHADO LEITE ; ADAMI, LUCAS JUNQUEIRA ; NUNES, LUIZ HENRIQUE ; NAKAMURA, LUIS HIDEO ; LIBARDI, RAFAEL MIRA ; SOUZA, PAULO SERGIO LOPES ; REIFF-MARGANIEC, STEPHAN . Design and implementation of fault tolerance techniques to improve QoS in SOA. In: 2014 10th International Conference on Network and Service Management (CNSM), 2014, Rio de Janeiro. 10th International Conference on Network and Service Management (CNSM) and Workshop, 2014. p. 37-45.

25.
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 (ICCS2013), 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v. 18. p. 149-158.

26.
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 (ICCS2013), 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v. 18. p. 250-259.

27.
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: 10th CONTECSI International Conference on Information Systems and Technology Management, 2013, São Paulo. Proceedings of the 10th CONTECSI. São Paulo: Editora da Universidade de São Paulo, 2013. v. 1. p. 862-878.

28.
Silva, R.A. ; Souza, S.R.S. ; 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. 69-74.

29.
Silva, R.A. ; Souza, S.R.S. ; 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.

30.
SOUZA, P. S. L.; Faical, B.S. ; Matos, J. ; Santana, M.J. ; 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.

31.
Souza, S.R.S. ; SOUZA, P. S. L. ; Machado, M.C.C. ; Simao, 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.

32.
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.

33.
Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, 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.

34.
SOUZA, P. S. L.; Sawabe, E.T. ; Simao, A.S. ; Souza, S.R.S. ; Vergilio, S.R. ; Sarmanho, F.S. . 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.

35.
Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; 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.

36.
Oliveira, B.H. ; Santos, J.H. ; SOUZA, P. S. L. ; Bruschi, S.M. ; Souza, S.R.S. . 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.

37.
Hausen, A.C. ; Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Simao, A.S. . A tool for Structural Testing of MPI Programs. In: 8th LATW - IEEE Latin-American Test Workshop, 2007, Cuzco - Peru. Proceedings of LATW2007. Cuzco: Pontificia Universidad Catolica del Peru, 2007. v. 1. p. 1-6.

38.
Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; SOUZA, P. S. L. . Aplicação de Teste Estrutural para 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.

39.
Ueda, C. ; Goncalves, R.A.L. ; Martini, J.A. ; SOUZA, P. S. L. ; Camilo Jr., A. . 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á. V Forúm de Informática e Tecnologia de Maringá - VII Mostra de Trabalhos de Maringá FITEM, 2006. v. 1. p. 1-12.

40.
Santos, M.R. ; Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Caracterizando o GAMESS como Benchmark para o SimpleScalar. In: VII Fórum de Informática e Tecnologia de Maringá - FITEM2006, 2006, Maringá. V Forúm de Informática e Tecnologia de Maringá - VII Mostra de Trabalhos de Maringá FITEM, 2006. v. 1. p. 104-113.

41.
Vergilio, S.R. ; Souza, S.R.S. ; 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.

42.
Souza, S.R.S. ; Vergilio, S.R. ; SOUZA, P. S. L. ; Simao, A.S. ; Goncalves, T.B. ; Lima, A.M. ; Hausen, A.C. . 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.

43.
Britto Jr., A.S. ; SOUZA, P. S. L. ; Sabourin, R. ; Souza, S.R.S. ; Borges, D.L. . A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. In: International Conference on Document Analysis and Recognition, 2003, Edinburgh. Proceedings of 7th International Conference on Document Analysis and Recognition. Edinburgh: University of Essex, 2003. v. 2. p. 839-843.

44.
Figueiredo, T.C. ; Santana, M.J. ; Santana, R.H.C. ; SOUZA, P. S. L. . Melhorias no Desempenho de Aplicações LAM/MPI: Uso do Ambiente AMIGO para o Escalonamento Eficiente de Processos. In: Wperfomance - Workshop em Desempenho de Sistemas Computacionais e de Comunicação / XXII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 2002, Florianópolis. Proceedings of WPerformance/XXII SBC. Florianópolis: Sociedade Brasileira de Computação, 2002. v. 6. p. 1358-1368.

45.
Kikuti, D. ; SOUZA, P. S. L. ; Souza, S.R.S. . XPVM-W95 - A Performance Monitoring Tool for PVM Clusters on Windows Operating Systems. In: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distrbuted Systems and Parallelism, 2002, Copiapo - Atacama. Proceedings of XXII International Conference of the Chilean Computer Science Society. Santiago: Chilean Computer Science Society, 2002. v. 1. p. 1-10.

46.
Santos, R.R. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . Performance Evaluation of Distributed Applications Development Tools Under The Interprocess Communications ViewPoint. In: The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, 2001, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications. Nevada: CSREA Press, 2001.

47.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . AMIGO: Uma Contribuição para a Convergência na Área de Escalonamento de Processos. In: CTD - Concurso de Teses e Dissertações - XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza. XXI Congresso da Sociedade Brasileira de Computação, 2001. v. 1. p. 112-113.

48.
SOUZA, P. S. L.; Araujo, A.P.F. ; Santana, M.J. ; Santana, R.H.C. . Migração de Processos como Técnica de Distribuição de Cargas para Sistemas Localmente Distribuídos. In: Semana de Informática de 1999 da UFPA, 1999, Belém. Anais da Semana de Informática de 1999 da UFPA, 1999.

49.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . AMIGO - A Dynamical Flexible Scheduling Environment. In: 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999, Orlando - Flórida. Proceedings of 5th International Conference on Information Systems Analysis and Synthesis, 1999.

50.
Araujo, A.P.F. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . DPWP - A New Load Balancing Algorithm. In: 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999, Orlando - Flórida. Proceedings of 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999.

51.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . A New Scheduling Environment for Near-Optimal Performance. In: International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99. Las Vegas, Nevada, USA: Computer Science Research, Education, and Applications Press, 1999. v. 5. p. 2573-2579.

52.
Araujo, A.P.F. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . A New Dynamical Scheduling Algorithm. In: International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999.

53.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. ; Araujo, A.P.F. . PVM and a Viable and Flexible Scheduling. In: 11th IASTED Int. Conference on Parallel and Distributed Computing and Systems, 1999, Cambridge, Massachusetts. Proceedings of the 11th IASTED International Conference. Zurich: IASTED/ACTA Press, 1999. p. 29-34.

54.
SOUZA, P. S. L.; Araujo, A.P.F. ; Santana, M.J. ; Santana, R.H.C. . Escalonamento de Processos: características, divergências e soluções. In: XII Semana Paraense de Informática - SEPAI'98, 1998, Belém. Anais da Semana Paraense de Informática, 1998. p. 9-17.

55.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. ; Senger, L.J. ; Picinato, R. . O Impacto do Protocolo TCP/IP na Computação Paralela Distribuída no Ambiente Windows95. In: 15o. Simpósio Brasileiro de Redes de Computadores (SBRC97), 1997, São Carlos. Anais do 15o. Simpósio Brasileiro de Redes de Computadores (SBRC97), 1997. p. 36-47.

56.
SOUZA, P. S. L.; Senger, L.J. ; Santana, M.J. ; Santana, R.H.C. . Evaluating Personal High Performance Computing with PVM on Windows and Linux Environments. In: Fourth European PVM-MPI Conference - EuroPVM-MPI'97, 1997, Krakow. EuroPVM-MPI'97 - Lecture Notes in Computer Science. Berlin: Springer-Verlag Berlin Heidelberg, 1997. v. 1332. p. 49-56.

57.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . Parallel Virtual Machine for Windows95. In: Third European PVM Conference EuroPVM96, 1996, Munique. Parallel Virtual Machine - EuroPVM'96 - Lecture Notes in Computer Science. Berlin: Springer-Verlag Berlin Heidelberg, 1996. v. 1156. p. 288-295.

Resumos expandidos publicados em anais de congressos
1.
Bonetti, D.R.F. ; LOPES, G. R. ; Delbem, A.C.B. ; SOUZA, PAULO S. L. ; Branco, K.R.L.J.C. ; Travieso, G. . Comparing Parallel Algorithms for Van der Waals Energy with Cell-List Techinique for Protein Structure Prediction. In: 17o. Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2018, Natal. Anais do WPerformance 2018. Porto Alegre: SBC, 2018. v. 1. p. 328-333.

2.
DAMASCENO, C. ; SOUZA, PAULO SERGIO LOPES DE ; Simao, A.S. . Um Algoritmo Paralelo para Priorização de Testes Baseada em Similaridade usando OpenMPI. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 65-68.

3.
BARROS, V. A. ; NUNES, LUIZ HENRIQUE ; SOUZA, PAULO SERGIO LOPES DE ; ESTRELLA, JULIO CEZAR . Paralelização do algoritmo Fast Non-Dominated Sorting para o ranqueamento de cidades de acordo com informações do clima. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 69-72.

4.
LOPES, G. R. ; SOUZA, PAULO SERGIO LOPES DE . Programação Paralela em GPU com o uso da Integração CUDA e MATLAB. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 53-56.

5.
Luz, H. J. F. ; SOUZA, PAULO SERGIO LOPES DE ; Souza, S.R.S. . Contribuições ao teste de cobertura de aplicações CUDA. In: 8a Escola Regional de Alto Desempenho (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 81-84.

6.
DIAZ, S. M. D. ; SOUZA, PAULO SERGIO LOPES DE . Systematic mapping of structural testing criteria for concurrent programs considering dynamic aspects. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 89-92.

7.
BACHIEGA, N. G. ; SOUZA, PAULO SERGIO LOPES DE ; Bruschi, S.M. . Avaliação de Desempenho de Virtualização Baseada em Contêiner. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 77-80.

8.
MELO, SILVANA MORITA ; DE SOUZA, SIMONE DO ROCIO SENGER ; DE SOUZA, PAULO SERGIO LOPES ; CARVER, JEFFREY C. . How to test your concurrent software: an approach for the selection of testing techniques. In: the 4th ACM SIGPLAN International Workshop, 2017, Vancouver. Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems - SEPS 2017. New York: ACM Press, 2017. p. 42.

9.
Dourado, G. G. M. ; SOUZA, PAULO S. L. ; PRADO, RAFAEL R. ; Batista, R. N. ; Souza, S.R.S. ; Estrella, J.C. ; Bruschi, S.M. ; Lourenço, J. M. S. . A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. In: The International Conference on Computational Science (ICCS 2016), 2016, San Diego. Procedia Computer Science. New York: elsevier, 2016. v. 80. p. 2226-2230.

10.
SOUZA, PAULO S. L.; Bruschi, S.M. . Aprendendo a Ensinar Sistemas Operacionais. In: 2o. Congresso de Graduação da Universidade de São Paulo, 2016, Piracicaba. Anais do 2o. Congresso de Graduação da Universidade de São Paulo. São Paulo: Universidade de São Paulo, 2016. v. 1. p. 1-2.

11.
Stabile, R. S. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Unificando Conceitos de Desempenho de Diferentes Áreas da Ciência da Computação para a Análise de Sistemas Computacionais. In: Escola Regional de Alto Desempenho de São Paulo, 2015, São José do Rio Preto. Anais do ERAD-SP 2015. Porto Alegre: SBC, 2015. v. 1. p. 1-4.

12.
Stabile, R. S. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. In: XIV Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2015, Recife. Anais do 14o. WPerformance. Porto Alegre: SBC, 2015. v. 1. p. 1-5.

13.
SHISHIDO, H. Y. ; AZEVEDO, L. J. M. ; SOUZA, PAULO S. L. ; Estrella, J.C. ; Bruschi, S.M. . Basoper: a Web-based Open Educational Resource for the Teaching of Scheduling Algorithms for Batch Systems. In: XX Conferência Internacional sobre Informática na Educação TISE2015, 2015, Santiago. Proceedings of TISE2015. Santiago, Chile: Universidade do Chile, Faculdade de Ciências Físicas e Matemáticas, 2015. v. 11. p. 498-503.

14.
SANTOS, F. C. ; YIFEI, Z. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Avaliação de desempenho de diferentes estruturas de dados utilizadas por aplicações paralelas na plataforma Android. In: Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2014), 2014, São Bernardo do Campo. Proceeding of the ERAD-SP 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 1-4.

15.
YIFEI, Z. ; SANTOS, F. C. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Proposta de uma metodologia para escalonamento em grades móveis considerando a mobilidade dos dispositivos. In: Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2014), 2014, São Bernardo do Campo. Proceeding of the ERAD-SP 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 5-8.

16.
Melo, S.M. ; Souza, S.R.S. ; SOUZA, P. S. L. . Structural Testing for Multithread Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), 2012, San Francisco. Proceedings of 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), 2012. v. 1. p. 476-479.

17.
Souza, S.R.S. ; 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.

18.
Brito, M.A.S. ; Felizardo, K. ; SOUZA, P. S. L. ; Souza, S.R.S. . 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.

19.
Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, 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.

20.
Hausen, A.C. ; Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Simao, 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.

Resumos publicados em anais de congressos
1.
SPENGLER, A. C. F. ; CONTE, D. J. ; MARTINS, G. ; SOUZA, PAULO S. L. . A Utilização de Aprendizado Baseado em Equipes como Técnica de Aprendizagem Ativa em Programação Concorrente. In: 4o. Congresso de Graduação da Universidade de São Paulo, 2018, São Paulo. Anais do 4o. Congresso de Graduação da Universidade de São Paulo. São Paulo: USP, 2018. v. 1. p. 1-1.

2.
SALDANHA, M. H. J. ; LOPES, G. R. ; DE SOUZA, PAULO SERGIO L. . Protein Structure Prediction with Parallel Algorithms Orthogonal to Parallel Platforms. In: 26o. Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2018), 2018, São Carlos. Proceedings of 26th SIICUSP. São Paulo: USP, 2018. v. 1. p. 1-1.

3.
MELO, SILVANA MORITA ; SOUZA, P. S. L. ; Souza, S.R.S. . Towards an empirical study design for concurrent software testing. In: Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering (SE-HPCCSE16), 2016, Salt Lake City, Utah. Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering (SE-HPCCSE16). New Jersey: IEEE Press Piscataway, 2016. v. 1. p. 1-1.

4.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . Máquina Paralela Virtual em Ambiente Windows95. In: 1o. Workshop de Sistemas Distribuídos da VI Semana de Informática da UFBA, 1996, Salvador. I Worshop de Sistemas Distribuídos, 1996.

Apresentações de Trabalho
1.
SOUZA, PAULO SERGIO LOPES DE. Sistemas Computacionais Avançados e a Computação Distribuída. 2017. (Apresentação de Trabalho/Comunicação).

2.
SOUZA, PAULO S. L.; Bruschi, S.M. . Aprendendo a Ensinar Sistemas Operacionais. 2016. (Apresentação de Trabalho/Congresso).

3.
Cacho, C. E. A. ; SOUZA, PAULO S. L. ; Bruschi, S.M. ; BARBOSA, E. F. ; TIOSSO, F. . An Interative Approach for the Teaching of Virtual Memory Using Open Educational Resources. 2016. (Apresentação de Trabalho/Simpósio).

4.
Stabile, R. S. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. 2015. (Apresentação de Trabalho/Congresso).

5.
SOUZA, PAULO S. L.. Testing of Concurrent Programs. 2014. (Apresentação de Trabalho/Conferência ou palestra).

6.
SOUZA, PAULO S. L.. Amnesia Project. 2014. (Apresentação de Trabalho/Conferência ou palestra).

7.
SOUZA, PAULO S. L.. Teste de Aplicações de Alto Desempenho. 2014. (Apresentação de Trabalho/Conferência ou palestra).

8.
SOUZA, PAULO S. L.. Computação de Alto Desempenho com Qualidade: Desafios e Perspectivas. 2014. (Apresentação de Trabalho/Conferência ou palestra).

9.
SOUZA, PAULO S. L.; SOUZA, SIMONE R.S. ; Rocha, M.G. ; Prado, R.R. ; Batista, R. N. . Data flow testing in concurrent programs with message passing and shared memory paradigms. 2013. (Apresentação de Trabalho/Conferência ou palestra).

10.
Brito, M.A.S. ; Souza, S.R.S. ; DE SOUZA, PAULO SERGIO L. . An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. 2013. (Apresentação de Trabalho/Conferência ou palestra).

11.
SOUZA, PAULO S. L.. Encontrando Defeitos em Programas Concorrentes. 2009. (Apresentação de Trabalho/Conferência ou palestra).

12.
Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Structural Testing for Semaphore-Based Multithread Programs. 2008. (Apresentação de Trabalho/Congresso).

13.
SOUZA, P. S. L.; Sawabe, E.T. ; Simao, A.S. ; Souza, S.R.S. ; Sarmanho, F.S. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. 2008. (Apresentação de Trabalho/Congresso).

14.
Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; SOUZA, P. S. L. . Web Services Composition Testing: a strategy based on stractural testing of parallel programs. 2008. (Apresentação de Trabalho/Congresso).

15.
SOUZA, PAULO S. L.. Desenvolvimento de Aplicações Paralelas com Qualidade: Desafios e Perspectivas. 2008. (Apresentação de Trabalho/Conferência ou palestra).

16.
SOUZA, PAULO S. L.. Sistemas Distribuídos, Programação Concorrente e Redes de Computadores. 2008. (Apresentação de Trabalho/Conferência ou palestra).

17.
Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. 2007. (Apresentação de Trabalho/Simpósio).

18.
SOUZA, PAULO S. L.. Sistemas Distribuídos, Programação Concorrente e Redes de Computadores. 2007. (Apresentação de Trabalho/Conferência ou palestra).

19.
SOUZA, P. S. L.. Computação de Alto Desempenho Aplicada à Mecânica Quântica. 2005. (Apresentação de Trabalho/Conferência ou palestra).

20.
SOUZA, P. S. L.. Integrando a Pesquisa Científica e a Graduação: um caso de sucesso. 2005. (Apresentação de Trabalho/Conferência ou palestra).

21.
SOUZA, P. S. L.. Computação de Alto Desempenho nos Campos Gerais: situação atual e perspectivas futuras. 2003. (Apresentação de Trabalho/Conferência ou palestra).

22.
SOUZA, P. S. L.. Escalonamento de Processos em Plataformas Distribuídas: situação atual e perspectivas futuras das pesquisas desenvolvidas na UEPG.. 2002. (Apresentação de Trabalho/Conferência ou palestra).

23.
SOUZA, P. S. L.. Cluster para Computação de Alto Desempenho. 2002. (Apresentação de Trabalho/Conferência ou palestra).

24.
SOUZA, P. S. L.. Política I/O Bound para escalonamento de processos utilizando as ferramentas PVM e AMIGO. 2002. (Apresentação de Trabalho/Conferência ou palestra).

25.
SOUZA, P. S. L.. Benchmark e Escalonamento de Processos. 2001. (Apresentação de Trabalho/Conferência ou palestra).

26.
SOUZA, P. S. L.. AMIGO: a Arte de Escalonar Processos em Plataformas Distribuídas com Eficiência. 2000. (Apresentação de Trabalho/Conferência ou palestra).

27.
SOUZA, P. S. L.. Escalonamento de Processos em Plataformas Distribuídas: resultados de um doutoramento.. 2000. (Apresentação de Trabalho/Conferência ou palestra).

28.
SOUZA, PAULO S. L.. Um Elo entre Computação Paralela e Sistemas Distribuídos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Brito, M.A.S. ; Felizardo, K. ; SOUZA, P. S. L. ; Souza, S.R.S. . Concurrent Software Testing: A Systematic Review. São Calos: ICMC/USP, 2010 (Relatório Técnico).

2.
Faical, B.S. ; SOUZA, P. S. L. ; Matos, J. ; Santana, M.J. ; Santana, R.H.C. . Jerrymouse ? Manual de Instalação. São Carlos: ICMC/USP, 2010 (Relatório Técnico).

3.
Sawabe, E.T. ; SOUZA, P. S. L. ; Souza, S.R.S. . Interface Gráfica para a ValiPVM: uma ferramenta de Teste de Programas Paralelos (Resumo de IC - WICT Comp 2007). São Carlos: ICMC/USP - WICT Comp da 10a. Semana da Computação, 2007 (Publicação em Evento de Iniciação Científica).

4.
Sarmanho, F.S. ; Estrella, J.C. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. ; Torres, G.M. . Instalação e configuração de clusters beowulf. São Carlos: ICMC/USP, 2007 (Notas Didáticas do ICMC/USP).

5.
Oliveira, B.H. ; SOUZA, P. S. L. ; Bruschi, S.M. ; Souza, S.R.S. . Uso da UML para Modelagem da Hierarquia de Memória - Módulo Memória Cache. São Carlos: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

6.
Santos, J.H. ; SOUZA, P. S. L. ; Bruschi, S.M. ; Souza, S.R.S. . Amnésia: Um Simulador de Hierarquia de Memória - Módulo Processador. S: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

7.
Buzo, G.R. ; Bruschi, S.M. ; SOUZA, P. S. L. ; Souza, S.R.S. . Amnésia: Um Simulador de Hierarquia de Memória - Módulo Memória Virtual. São Carlos: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

8.
Bortolato, E. ; Matos, J. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Algoritmos Paralelos Aplicados à Mecânica Qüântica (Resumo de IC). Ponta Grossa: IV Encontro de Pesquisa de Ponta Grossa, 2004 (Publicação em Evento de Iniciação Científica).

9.
Pereira, D.C. ; Bruno, J.W. ; SOUZA, P. S. L. . Aplicação da UML para o desenvolvimento de um simulador de hierarquia de memória (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

10.
Arruda, T.H. ; Coelho, A.N. ; SOUZA, P. S. L. ; Souza, S.R.S. . Caracterização e uso de Benchmarks para a avaliação de políticas de escalonamento em plataformas distribuídas (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

11.
Lima, A.M. ; Goncalves, T.B. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Vergilio, S.R. . Implementação de Recursos para Extrair Informações de Troca de Mensagens de Aplicações Paralelas em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

12.
Goncalves, T.B. ; Lima, A.M. ; SOUZA, P. S. L. ; Vergilio, S.R. ; Souza, S.R.S. . Implementação de Recursos para Instrumentação de Programas Paralelos em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

13.
Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . O Emprego de Estruturas de Dados Avançadas para a Simulação Molecular (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

14.
Inacio, P.L. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Simulação de Espectros de Infra-Vermelho do Herbicida Atrazina via Métodos AB-Initio HF/DFT (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

15.
Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Simulação Molecular com Algoritmos de Alto Desempenho (resumo de IC). Ponta Grossa: IV Encontro de Pesquisa da UEPG, 2004 (Publicação em Evento de Iniciação Científica).

16.
Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Uso Eficiente da Mecânica Qüântica Através do GAMESS (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

17.
Bruno, J.W. ; Souza, S.R.S. ; SOUZA, P. S. L. . Implementação de Recursos para Extração de Requisitos de Teste de Programas Paralelos em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

18.
SOUZA, P. S. L.; Matos, J. ; Bortolato, E. . Análise de Algoritmos de Mecânica Qüântica Aplicados em Arquiteturas Superescalares (resumo de IC). Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

19.
Bruno, J.W. ; Souza, S.R.S. ; SOUZA, P. S. L. . Definição de Critérios de Teste e de Uma Interface Gráfica para a Ferramenta de Teste ValiPVM (resumo de IC). Ponta Grossa: III Encontro de Pesquisa da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

20.
Inacio, P.L. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Estudo Teórico da Estrutura Eletrônica do Herbicida Atrazina via Métodos ab-initio (HF/DFT) (resumo de IC). Ponta Grossa: IX Semana da Física da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

21.
Pereira, D.C. ; SOUZA, P. S. L. . MinMax: uma proposta para lidar com plataformas heterogêneas e multiusuárias em clusters usando recursos mínimos (resumo de IC). Ponta Grossa: III Encontro de Pesquisa da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

22.
Pereira, D.C. ; SOUZA, P. S. L. . Uma Nova Política de Escalonamento para Clusters Beowulf Heterogêneos e Multiusuários (resumo de IC). Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

23.
Kikuti, D. ; SOUZA, P. S. L. . Monster: uma ferramenta para monitoração de clusters voltada ao escalonamento de processos. Ponta Grossa: I Mostra de Projetos em Computação - PROCOMP2003, 2003 (Resumo de Iniciação Científica).

24.
Voorsluys, W. ; SOUZA, P. S. L. . Balanceamento de carga dinâmico e índices de carga utilizando Linux (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

25.
Pereira, D.C. ; SOUZA, P. S. L. . Escalonamento de Processos em Plataformas Distribuídas (resumo de IC). Ponta Grossa: II Encontro de Pesquisa da UEPG, 2002 (Publicação em Evento de Iniciação Científica).

26.
SOUZA, P. S. L.; Pereira, D.C. . MinMax: uma nova proposta ao escalonamento de processos para ambiente LINUX/PVM/AMIGO (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

27.
Kikuti, D. ; SOUZA, P. S. L. . Monitoramento de Desempenho em Máquinas Paralelas Virtuais no Ambiente Windows (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

28.
Voorsluys, W. ; SOUZA, P. S. L. . Uma Política de Escalonamento de Processos como uma Ferramenta de Testes para Índices de Carga (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

29.
Kikuti, D. ; SOUZA, P. S. L. . XPVM-W95 - Uma Ferramenta de Apoio ao Monitoramento de Desempenho para o PVM-W95 (resumo de IC). Ponta Grossa: II Encontro de Pesquisa da UEPG, 2002 (Publicação em Evento de Iniciação Científica).

30.
SOUZA, P. S. L.; Santana, M.J. ; Santana, R.H.C. . Escalonamento de Processos: uma contribuição para a convergência na área. São Carlos: Instituto de Ciências Matemáticas e de Computação/USP, 2000 (Notas).

31.
SOUZA, P. S. L.; Santana, M.J. . Computação Paralela Distribuída no Ambiente Windows. São Carlos: II Worshop de Teses e Dissertações Defendidas (ICMC/USP), 1997 (Publicação em Evento de Pós-Graduação).

32.
Souza, M.A. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Santana, M.J. ; Santana, R.H.C. . Aplicações RPC no Ambiente SUN-OS. São Carlos: Instituto de Ciências Matemáticas e de Computação, 1995 (Notas Didáticas).

33.
Spolon, R. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . PVM - Parallel Virtual Machine: conceitos básicos e exemplo de aplicação. São Carlos: Intituto de Ciências Matemáticas e de Computação, 1995 (Relatório Técnico).

34.
SOUZA, P. S. L.; Santana, M.J. . Máquina Paralela Virtual em Ambiente Windows (resumo). São Carlos: I Workshop de Dissertações em Andamento do ICMC/USP, 1995 (Publicação em Evento de Pós-Graduação).


Produção técnica
Programas de computador sem registro
1.
Souza, S.R.S. ; Vergilio, S.R. ; SOUZA, P. S. L. . ValiPVM - uma ferramenta para teste de programas concorrentes em PVM. 2005.

2.
Hausen, A.C. ; Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. . ValiMPI - uma ferramenta de apoio ao teste de programas concorrentes em MPI. 2005.

3.
Kikuti, D. ; SOUZA, P. S. L. . Monster: uma ferramenta para monitoração de clusters voltada ao escalonamento dinâmico de processos. 2003.

4.
SOUZA, P. S. L.; Pereira, D.C. . MinMax - uma nova política de escalonamento de processos CPU-Bound baseada em recursos mínimos. 2002.

5.
Voorsluys, W. ; SOUZA, P. S. L. . IO-Best: uma nova política de escalonamento voltada para aplicações i/o-bound.. 2002.

6.
SOUZA, P. S. L.. AMIGO - dynAMical FlexIble SchedulinG EnvirOnment. 2000.

7.
SOUZA, P. S. L.. PVM-W95. 1996.

Trabalhos técnicos
1.
SOUZA, PAULO S. L.. Avaliador dos Trabalhos da 1a Etapa do 26o. Simpósio Internacional de Iniciação Científica da USP (SIICUSP 2018). 2018.

2.
SOUZA, PAULO S. L.. Membro do Comitê de Programa do WSCAD 2018. 2018.

3.
SOUZA, PAULO S. L.. Parecerista Ad-Hoc de projetos PIBIC/CNPq/UFSCar em 2018. 2018.

4.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do VecPar 2018. 2018.

5.
SOUZA, PAULO SERGIO LOPES DE. Membro do Comitê de Programa do WSCAD 2017. 2017.

6.
SOUZA, PAULO SERGIO LOPES DE. Avaliador de Trabalhos Submetidos ao 3o. Congresso de Graduação da USP. 2017.

7.
SOUZA, PAULO SERGIO LOPES DE. Membro TPC da 3th International Conferene on Education (ICOED 2017). 2017.

8.
SOUZA, PAULO S. L.. Avaliador dos Trabalhos de IC submetidos ao 24o. SIICUSP. 2017.

9.
SOUZA, PAULO S. L.. Membro do Comitê de Avaliação de Pôsteres do 2o. Congresso de Graduação da USP. 2016.

10.
SOUZA, PAULO SERGIO LOPES DE. Avaliador dos Trabalhos da 1a Etapa do Simpósio Internacional de Iniciação Científica da USP (SIICUSP 2016). 2016.

11.
SOUZA, PAULO SERGIO LOPES DE. Membro do Comitê de Programa do WSCAD 2016. 2016.

12.
SOUZA, PAULO SERGIO LOPES DE. Parecerista Ad-Hoc de projetos PIBIC/CNPq/UFSCar em 2016. 2016.

13.
SOUZA, PAULO SERGIO LOPES DE. Parecerista Ad-Hoc Workshop sobre Educação em Arquitetura de Computadores (WEAC 2016). 2016.

14.
SOUZA, PAULO SERGIO LOPES DE. Parecerista Ad-Hoc do XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016). 2016.

15.
SOUZA, PAULO S. L.. Membro do Comitê de Programa WSCAD2015 - XVI Workshop em Sistemas Computacionais de Alto Desempenho. 2015.

16.
SOUZA, PAULO S. L.. PC Member of ACM SAC 2016 - Track IILE - Intelligent and Interactive Learning Environments. 2015.

17.
SOUZA, PAULO S. L.. Membro do Comitê de Programa do INFORUM2014/PT - Sessão Computação Paralela, Distribuída e de Larga Escala. 2014.

18.
SOUZA, PAULO S. L.. Membro do Comitê de Programa WSCAD2014 - XV Workshop em Sistemas Computacionais de Alto Desempenho. 2014.

19.
DE SOUZA, PAULO SERGIO L.. Revisor para o SBSI2013 - IX Simpósio Brasileiro de Sistemas de Informação. 2013.

20.
SOUZA, PAULO S. L.. Membro do Comitê de Programa WSCAD2013 - XIV Workshop em Sistemas Computacionais de Alto Desempenho. 2013.

21.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2012 - XIII Workshop em Sistemas Computacionais de Alto Desempenho. 2012.

22.
DE SOUZA, PAULO SERGIO L.. Revisor para o SBSI2012 - VIII Simpósio Brasileiro de Sistemas de Informação. 2012.

23.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2011 - XII Workshop em Sistemas Computacionais de Alto Desempenho. 2011.

24.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2010 - XI Workshop em Sistemas Computacionais de Alto Desempenho. 2010.

25.
DE SOUZA, PAULO SERGIO L.. Revisor para o WPerformance2010 - IX Workshop em Desempenho de Sistemas Computacionais e de Comunicação. 2010.

26.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2009 - X Workshop em Sistemas Computacionais de Alto Desempenho. 2009.

27.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do CLEI2009 - XXXV Conferencia Latinoamericana de Informática (XXXV CLEI). 2009.

28.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2008 - IX Workshop em Sistemas Computacionais de Alto Desempenho. 2008.

29.
SOUZA, P. S. L.. Avaliador de trabalhos do WEI - Workshop sobre Educação em Computação. 2007.

30.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WSCAD2007 - VIII Workshop em Sistemas Computacionais de Alto Desempenho. 2007.

31.
SOUZA, P. S. L.. Membro do Comitê de Programa do FITEM2006 - X Mostra de Trabalhos de Informática. 2006.

32.
SOUZA, P. S. L.. Avaliador de trabalhos da sessão de ferramentas do Simpósio Brasileiro de Engenharia de Software de 2006. 2006.

33.
SOUZA, P. S. L.. Membro do Comitê de Programa do WSCAD2006 - VII Workshop em Sistemas Computacionais de Alto Desempenho. 2006.

34.
SOUZA, P. S. L.. Membro do Comitê de Programa do WSCAD2004 - Workshop em Sistemas Computacionais de Alto Desempenho. 2004.

35.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do WEI 2004 - XII WEI - Workshop de Educação em Computação. 2004.

36.
DE SOUZA, PAULO SERGIO L.. Coordenador da Sessão de Demonstração no ProComp2004. 2004.

37.
SOUZA, PAULO S. L.. Revisor para a ERI 2004. 2004.

38.
DE SOUZA, PAULO SERGIO L.. Membro do Comitê de Programa do SBSI 2004 - I Simpósio Brasileiro de Sistemas de Informação. 2004.

39.
DE SOUZA, PAULO SERGIO L.. Coordenador da 2a Sessão Técnica do ProComp2003. 2003.

40.
DE SOUZA, PAULO SERGIO L.. Coordenador da 5a Sessão Técnica do ProComp2003. 2003.

41.
SOUZA, P. S. L.. Membro do comitê de avaliação de trabalhos da REIC - Revista Eletrônica de Iniciação Científica da Soc. Brasileira de Computação. 2002.

42.
DE SOUZA, PAULO SERGIO L.. Coordenador de Sessão no II Encontro de Pesquisa da UEPG. 2002.

43.
DE SOUZA, PAULO SERGIO L.. Coordenador de Sessão no X Encontro Anual de Iniciação Científica e I Encontro de Pesquisa da UEPG. 2001.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
SOUZA, PAULO S. L.. Mestrado Acadêmico, Mestrado Profissionalizante e o Mercado de Trabalho: Qual caminho seguir após a graduação?. 2009. (Programa de rádio ou TV/Mesa redonda).

2.
Souza, P.S.L.. Painel Integração: como proceder. 2004. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica
1.
SOUZA, P. S. L.. Introdução à Computação de Alto Desempenho, III Escola de Informática Norte (EIN'2001/SBC). 2001. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MANACERO JUNIOR, A.; SOUZA, PAULO S. L.; BORIN, E.. Participação em banca de Cássio Henrique Volpato Forte. Desenvolvimento e avaliação de um escalonador para grades colaborativas baseado em consumo de energia. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

2.
MANACERO JUNIOR, A.; Baldassin, A. J.; SOUZA, PAULO SERGIO LOPES DE. Participação em banca de Thiago Alexandre Domingues de Souza. Uma Solução Paralela de Agrupamento de Dados em GPU. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

3.
SOUZA, PAULO S. L.; SATO, L. M.; Ueyama, J.. Participação em banca de Frederico Cassis Ribeiro Santos. Análise de Execução de Aplicações Paralelas em Grades Móveis com Restrições de Processamento e Bateria. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

4.
SOUZA, PAULO S. L.; Marcondes, C. A. C.; Estrella, J.C.. Participação em banca de Zhang Yifei. Estudo e Simulação de Algoritmos de Escalonamento para Grades Móveis Voltados à Conectividade dos Dispositivos Móveis. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

5.
SOUZA, PAULO S. L.; SIMÃO, A. S.; Arantes, L. B.. Participação em banca de Rafael Regis do Prado. Teste Estrutural de Programas Concorrentes com uma Composição de Serviços na Web. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

6.
SOUZA, PAULO S. L.; Guardia, H.C.; Vincenzi, A.M.R.. Participação em banca de Raphael Negrisoli Batista. Otimizando o Teste Estrutural de Programas Concorrentes: uma abordagem determinística e paralela. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

7.
Estrella, J.C.; SOUZA, P. S. L.; Marcondes, C. A. C.. Participação em banca de Rafaell Mira de Oliveira Libardi. Desenvolvimento de mecanismos para auxiliar no estudo e seleção de técnicas de armazenamento distribuído de arquivos em ambientes de computação multinuvem. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

8.
SOUZA, P. S. L.; Guardia, H.C.; SATO, L. M.. Participação em banca de Carlos Emílio de Andrade Cacho. Desenvolvimento e Utilização de Recursos Educacionais Abertos para Colaborar com o Ensino de Memória Virtual. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

9.
SOUZA, P. S. L.; Chaim, M. L.; BRESSAN, G.. Participação em banca de George Gabriel Mendes Dourado. Contribuindo para a Avaliação do Teste de Programas Concorrentes: uma abordagem usando benchmarks. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

10.
Monaco, F. J.; SENGER, H.; SOUZA, PAULO S. L.. Participação em banca de Helder Jefferson Ferreira da Luz. Um método para previsão de sobrecarga transiente em sistemas computacionais por meio de modelos dinâmicos obtidos empiricamente. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

11.
SOUZA, PAULO S. L.; Santana, R.H.C.. Participação em banca de George Gabriel Mendes Dourado e Rafael Regis do Prado. Avaliação de Desempenho do Módulo ValiInst da Ferramenta ValiPar para Java. 2013. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

12.
Paulo S. L. de Souza; Moreira, E.S.; TRAVIESO, GONZALO. Participação em banca de Bruno Squizato Faiçal. Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente. 2012. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

13.
Paulo S. L. de Souza; Simao, A.S.; Chaim, M. L.. Participação em banca de Mário Cesar da Cunha Machado. Estudo e Definição de Mecanismos para Redução do Custo de Aplicação do Teste de Programas Concorrentes. 2011. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

14.
Delbem, A.C.B.; SOUZA, P. S. L.; Travieso, G.. Participação em banca de Daniel Rodrigo Ferraz Bonetti. Aumento da eficiência do cálculo da energia de van der Waals em algoritmos genéticos para predição de estruturas de proteínas. 2010. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

15.
Paulo S. L. de Souza; Vergilio, S.R.; Vijaykumar, N. L.. Participação em banca de Felipe Santos Sarmanho. Teste de Programas Concorrentes com Memória Compartilhada. 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

16.
Paulo S. L. de Souza; Moreira, E.S.; Francês, C. R. L.. Participação em banca de Jonathan de Matos. Distribuição de Carga Flexível e Dinâmica para Provedores de Web Services. 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

17.
SOUZA, P. S. L.; Delamaro, M.E.; Vincenzi, A.M.R.. Participação em banca de Leonardo Souza Silva. Segurança de Código Móvel no Ambiente uCode. 2004. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Eurípedes de Marília.

18.
SOUZA, P. S. L.; Rebello, E.F.V.; Boeres, M.C.S.. Participação em banca de Marco Aurélio Novaes Esteves. Rumo a uma heurística rápida para geração de escalonamentos eficientes em grids computacionais. 2003. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

19.
Santana, M.J.; SOUZA, P. S. L.; Reverbel, F.. Participação em banca de Ricardo Ribeiro dos Santos. Escalonamento de aplicações paralelas: interface AMIGO-CORBA. 2001. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

20.
SOUZA, P. S. L.; Santana, R.H.C.; Moreira, E.S.. Participação em banca de Arion de Campos Jr.. Interface Gráfica para um Ambiente de Escalonamento Flexível e Dinâmico. 2001. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

Teses de doutorado
1.
SATO, L. M.; ALMEIDA JUNIOR, J. R.; ROCHA, R. L. A.; SOUZA, PAULO S. L.; SILVA, L.. Participação em banca de Cleber Silva Ferreira da Luz. Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo. 2018. Tese (Doutorado em Ciências, Programa Eng. Elétrica, Concentração Eng. de Computação) - Universidade de São Paulo.

2.
SOUZA, PAULO SERGIO LOPES DE; Simao, A.S.; Travieso, G.; Arantes, L. B.; SATO, L. M.. Participação em banca de Alexandre Ponce de Oliveira. TesteEstrutural para Aplicações Concorrentes em Erlang. 2017. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

3.
Santana, R.H.C.; Pereira, M. R.; SOUZA, PAULO S. L.; Spolon, R.; Travieso, G.. Participação em banca de Dionísio Machado Leite Filho. A Influência das Informações de Hardware e Software nos Serviços de IaaS: uma abordagem sobre desempenho de máquinas virtuais em nuvem. 2016. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

4.
Monaco, F. J.; Fernandes, M. M.; SOUZA, PAULO S. L.; Schnorr, L. M.; Baldassin, A. J.. Participação em banca de Edwin Luis Choquehuanca Mamani. Metodologia de benchmark para avaliação de desempenho não-estacionária: um estudo de caso baseado em aplicações de computação em nuvem. 2016. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

5.
MADEIRA, E. R. M.; OLIVEIRA, D. C. M.; SOUZA, PAULO SERGIO LOPES DE. Participação em banca de Henrique Yoshikazu Shishido. Escalonamento de tarefas de workflow na nuvem baseado em restrições de segurança. 2016. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

Qualificações de Doutorado
1.
SOUZA, PAULO S. L.; BORIN, E.; BARBOSA, E. F.; Santos, R.R.. Participação em banca de Naylor Garcia Bachiega. Instructional Unit for Parallel Programming Teaching. 2017. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

2.
Estrella, J.C.; Toledo, C. F. M.; Marcondes, C. A. C.; SOUZA, PAULO S. L.. Participação em banca de Luiz Henrique Nunes. MoSaS - Uma arquitetura para o gerenciamento de sensores como serviço na nuvem. 2016. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

3.
SOUZA, PAULO S. L.; Ueyama, J.; Endo, A.T.; MENOTTI, R.. Participação em banca de Helder Jefferson Ferreira da Luz. Contribuição ao teste de cobertura de aplicações CUDA. 2016. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

4.
Delbem, A.C.B.; SOUZA, PAULO S. L.; Hirata, C.M.. Participação em banca de Edvard Martins de Oliveira. AIP3S - Uma arquitetura para a integração de projetos de predição de estruturas de proteínas. 2015. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

5.
Ueyama, J.; Paulo S. L. de Souza; Bittencourt, L. F.. Participação em banca de Paulo Sérgio Franco Eustáquio. Consumo Eficiente de Energia em uma Arquitetura de Computação em Nuvem com Diferenciação de Serviços. 2013. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

6.
Wolf, D.F.; Paulo S. L. de Souza; Ferrari, R. J.. Participação em banca de Lourenço Alves Pereira Junior. Uma Metodologia de Planejamento de Capacidade para Política de Admissão de Controle em Sistemas Computacionais sob Carga Variável Baseada em Avaliação de Desempenho em Regime Transiente. 2013. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

7.
Bonatto, V.; Paulo S. L. de Souza; Bittencourt, L. F.. Participação em banca de Mario Henrique de Souza Pardo. Análise e Projeto de um Broker como Agente de Intermediação e QoS em uma Nuvem Computacional Híbrida. 2012. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

8.
Paulo S. L. de Souza; Guardia, H.C.; Ueyama, J.. Participação em banca de Osvaldo Adilson de Carvalho Júnior. GACloud - Uma arquitetura verde na nuvem. 2011. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

Qualificações de Mestrado
1.
SOUZA, PAULO S. L.; Bianchini, C. P.; SILVA, G. P.. Participação em banca de Guilherme Martins. Uso de desafios de programação na aprendizagem ativa de programação paralela. 2018. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

2.
MANACERO JUNIOR, A.; SOUZA, PAULO SERGIO LOPES DE; Baldassin, A. J.. Participação em banca de Thiago Alexandre Domingues de Souza. Uma aplicação paralela em GPU usando agrupamento de dados. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

3.
MANACERO JUNIOR, A.; SOUZA, PAULO SERGIO LOPES DE; Baldassin, A. J.. Participação em banca de Cássio Henrique Volpatto Forte. Desenvolvimento e Avaliação de um Escalonador para Controle de Energia em Grades Colaborativas. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

4.
Bruschi, S.M.; SOUZA, PAULO S. L.; Ferrari, F. C.. Participação em banca de Rafael de Souza Stabile. Unificando Conceitos de Avaliação de Desempenho, Engenharia de Desempenho e Teste de Software para a Análise de Sistemas Computacionais. 2015. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

5.
Estrella, J.C.; SOUZA, PAULO S. L.; Bittencourt, L. F.. Participação em banca de Carlos Henrique Gomes Ferreira. PEESOS-Cloud: uma arquitetura escalável para o planejamento e execução de experimentos em sistemas orientados a serviços disponíveis na Nuvem. 2015. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

6.
SOUZA, P. S. L.; Ferrari, F. C.; Lourenço, J. M. S.. Participação em banca de George Gabriel Mendes Dourado. Contribuindo para a Avaliação do Teste de Programas Concorrentes: uma abordagem usando benchmarks. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

7.
Ueyama, J.; SOUZA, P. S. L.; VILLAS, L. A.. Participação em banca de Heitor de Freitas Vieira. Integrando Veículos Aéreos Não Tripulados e Rede de Sensores Sem Fio para o Roteamento de Pacotes. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

8.
SOUZA, P. S. L.; Ferrari, F. C.; Estrella, J.C.. Participação em banca de Rafael Regis do Prado. Teste Estrutural de Software Concorrente como uma Composição de Serviços da Web. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

9.
Delamaro, M.E.; SOUZA, P. S. L.; Chaim, M. L.. Participação em banca de Stevão Alves de Andrade. Execução paralela de programas como suporte ao teste de mutação. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

10.
SOUZA, P. S. L.; Braga, R.T.V.; Guardia, H.C.. Participação em banca de Frederico Cassis Ribeiro Santos. Análise de execução de aplicações paralelas em grades móveis com restrições de processamento e bateria. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

11.
SOUZA, P. S. L.; Cesar, A. C.; Marcondes, C. A. C.. Participação em banca de Zhang Yifei. Estudo e simulação de algoritmos de escalonamento para grades móveis voltados à conectividade dos dispositivos móveis. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

12.
SOUZA, PAULO S. L.; SATO, L. M.; BARBOSA, E. F.. Participação em banca de Carlos Emílio de Andrade Cacho. Aplicando objetos de aprendizagem para melhorar a qualidade do ensino de memória virtual. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

13.
Paulo S. L. de Souza; Simao, A.S.; Guardia, H.C.. Participação em banca de Raphael Negrisoli Batista. Desenvolvimento de uma arquitetura distribuída para teste estrutural de programas concorrentes. 2012. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

14.
Paulo S. L. de Souza; Moreira, E.S.; TRAVIESO, GONZALO. Participação em banca de Bruno Squizato Faiçal. Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente. 2010. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

15.
Moreira, E.S.; Guardia, H.C.; SOUZA, P. S. L.. Participação em banca de Dagoberto Carvalio Junior. Uma Plataforma para Estudos de Gerenciamento de Interferência Espectral em Redes Sem Fio Complexas. 2009. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

16.
Santana, R.H.C.; Paulo S. L. de Souza; Moreira, E.S.. Participação em banca de Thiago Caproni Tavares. Caracterização de cargas trabalho para avaliação de desempenho em Web services. 2009. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

17.
Paulo S. L. de Souza; Bruschi, S.M.; Moreira, E.S.. Participação em banca de Mário Cesar da Cunha Machado. Estudo e Definição de Mecanismos para Redução do Custo de Aplicação do Teste de Programas Concorrentes. 2009. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

18.
Delbem, A.C.B.; Travieso, G.; SOUZA, P. S. L.. Participação em banca de Daniel Rodrigo Ferraz Bonetti. Cálculo da Energia de Van Der Waals Utilizando Programação Concorrente em Proteínas. 2009. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

19.
Paulo S. L. de Souza; Moreira, E.S.; Braga, R.T.V.. Participação em banca de Jonathan de Matos. Distribuição de Carga Flexível e Dinâmica para Provedores de Web Services. 2008. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

20.
Santana, R.H.C.; Wolf, D.F.; SOUZA, P. S. L.. Participação em banca de Osvaldo Adilson de Carvalho Júnior. Avaliação de Políticas de Escalonamento para Execução de Simulações Distribuídas. 2007. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

21.
Santana, M.J.; SOUZA, P. S. L.; Moreira, E.S.. Participação em banca de Juliano Ferraz Ravassi. Políticas de Escalonamento para Aplicações Distribuídas Utilizando Migração de Processos (qualificação de mestrado). 2007. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

22.
Paulo S. L. de Souza; Santana, R.H.C.; Fabbri, S. C. P. F.. Participação em banca de Felipe Santos Sarmanho. Teste de Programas Concorrentes com Memória Compartilhada. 2007. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

23.
Santana, R.H.C.; Paulo S. L. de Souza; Monaco, F. J.. Participação em banca de Alessandra Kelli Barbato. Políticas para servidores web baseados em sessões visando qualidade e diferenciação de serviços. 2006. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

24.
Santana, R.H.C.; Paulo S. L. de Souza; Monaco, F. J.. Participação em banca de Geraldo Guiesi Junior. Modelo de servidor web com quatro módulos de atendimento de requisições (SWMAR). 2006. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

25.
Mello, R.F.; SOUZA, P. S. L.; Kofuji, T.. Participação em banca de José Augusto Andrade Filho. ICHIGO: um ambiente para balanceamento de carga em GRIDs computacionais. 2005. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

26.
Vergilio, S.R.; Souza, S.R.S.; SOUZA, PAULO S. L.; Zola, W. M. N.. Participação em banca de Alexandre C. Hausen. Part2-MPI: Uma Ferramenta para Critérios de Teste Estrutural. 2004. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

27.
Santana, M.J.; Maldonado, J.C.; Paulo S. L. de Souza. Participação em banca de Ricardo Ribeiro dos Santos. Escalonamento de Aplicações Paralelas: uma interface entre o AMIGO e CORBA. 2001. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

Monografias de cursos de aperfeiçoamento/especialização
1.
SOUZA, P. S. L.; Britto Jr., A.S.; Souza, S.R.S.. Participação em banca de Maurício Zadra Pacheco. Membro Titular da Comissão Julgadora da Monografia de Especialização Intitulada Estudo da Implantação de Sistemas de Gerenciamento de Fluxo de Trabalho em Pequenas e Médias Empresas. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Em Banco de Dados) - Universidade Estadual de Ponta Grossa.

2.
SOUZA, P. S. L.; Britto Jr., A.S.; Souza, S.R.S.. Participação em banca de Epifânio Ruffini Jr.. Membro Titular da Comissão Julgadora da Monografia de Especialização Intitulada Gerenciamento de Documentos Eletrônicos. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Em Banco de Dados) - Universidade Estadual de Ponta Grossa.

Trabalhos de conclusão de curso de graduação
1.
MARGARIDO, M. G.; SOUZA, PAULO S. L.. Participação em banca de Gustavo de Souza.Otimizações em Mídias Orientadas à Performance. 2017. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

2.
SOUZA, PAULO S. L.; Braga, R.T.V.. Participação em banca de Hiero Martinelli.Aplicação de Questionário para Avaliação de Testabilidade de CRMs em Cloud. 2016. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

3.
Braga, R.T.V.; SOUZA, PAULO S. L.. Participação em banca de José Victor Ferronato Bueno.Cidadera: Desenvolvimento de Funcionalidades Utilizando a Base de Dados Geolocalizada da Plataforma. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

4.
SOUZA, PAULO S. L.; Silva, J. L.. Participação em banca de André Ogura Dantas.Desenvolvimento de Software para Atualização Automática de Firmware de Sistemas Embarcados. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

5.
SOUZA, PAULO S. L.; Ueyama, J.. Participação em banca de Natássya Barlete Floro da Silva.Desenvolvimento de Comunicação entre Equipamentos de Laboratórios Clínicos e Computadores Desktop. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

6.
SOUZA, PAULO S. L.; Silva, J. L.. Participação em banca de Luiz Paulo Lopes.Definição Lógica da Infra-Estrutura de TI de Rede da Empresa Fictícia XPTO. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

7.
Maldonado, J.C.; SOUZA, P. S. L.. Participação em banca de Draylson Micael de Souza.PROGTEST: um ambiente para submissão e avaliação automática de trabalhos de programação baseado em atividades de teste. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

8.
SOUZA, P. S. L.; Delbem, A.C.B.. Participação em banca de Danilo José Paro.Revisão dos Parâmetros do Sistema SAP para o Processo de Compra em uma Indústria Manufatureira. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

9.
Marques, E.; SOUZA, P. S. L.. Participação em banca de Paulo Matsuda Ueno.Sistema de Alta Plataforma Mainframe. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

10.
Marques, E.; SOUZA, P. S. L.. Participação em banca de Fernando Matias Balieiro.Elaboração e Construção de Aplicações Web Utilizando J2EE. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

11.
Monard, M.C.; SOUZA, P. S. L.. Participação em banca de André Pereira Santos.Desenvolvimento de Sistema para Controle de Acesso. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

12.
Maldonado, J.C.; SOUZA, P. S. L.. Participação em banca de Victor Carpinelli.Padronizaqção de Acessos. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

13.
Maldonado, J.C.; SOUZA, P. S. L.. Participação em banca de Georgia Isis Prochnow.Gerenciamento de Serviços de TI Incedent Management e Problem Menagement. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

14.
Maldonado, J.C.; SOUZA, P. S. L.. Participação em banca de André Rodrigo dos Santos.Uso de abordagens de desenvolvimento de aplicações web utilizando frameworks de mercado. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

15.
SOUZA, PAULO S. L.; Souza, S.R.S.. Participação em banca de Alessandra Roberta Cota Mantovani.Desenvolvimento de Software para Billing na Área de Telecomunicações. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

16.
SOUZA, P. S. L.; Braga, R.T.V.. Participação em banca de Rafael Xavier de Souza.Gerência de Redes: Soluções para empresas Telecom. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

17.
SOUZA, P. S. L.; Braga, R.T.V.. Participação em banca de Wiliam Camilo de Andrade.Sistemas de gerenciamento de conteúdo para congressos científicos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

18.
SOUZA, P. S. L.; Braga, R.T.V.. Participação em banca de Daniel Henrique Reis de Souza.Desenvolvimento de Software para Gerência de Planta Interna de Redes de Telecomunicações. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

19.
Braga, R.T.V.; SOUZA, P. S. L.. Participação em banca de Felipe Santos Batista de Souza.Controlador de Sintetizador de Freqüências para Espectroscopia por RMN. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

20.
SOUZA, P. S. L.; Maldonado, J.C.. Participação em banca de Hugo Degiovanni Jr.Desenvolvimento de Customizações ORACLE Aplications. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

21.
SOUZA, P. S. L.; Braga, R.T.V.. Participação em banca de Mateus Godoi Milanez.Estudos para a Implementação e Validação de um Ambiente de Balanceamento de Carga. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

22.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Camila C. A. Santos e Jennifer K. Kos.SEIPB - Sistema Entomológico de Identificação das Pragas da Batata. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

23.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Rodrigo Guapo Calvet.SARS - Sistema para Auxílio na Regulagem de Semeadora. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

24.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Leila Maria Vriesmann.Desenvolvimento do Software MinAG - Mineração de Dados Contínuos Utilizando Algoritmos Genéticos. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

25.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Flávia Santi e Janie Suemy.Sistema Comercial para Gerenciamento de Óticas. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

26.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de João Henrique Buckta e Juliano Augusto Elias.Projeto Associados. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

27.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de André Brandelero Cassiano Giacometti.Sistema de Gerenciamento de Ovinos - SISOVI. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

28.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de André Luiz Capóia e Luiz Alberto Barros de Sant´anna.SISMAV - Sistema de Manutenção de Veículos Viana. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

29.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Fernando Henrique P. Leal e Everton L. do Nascimento.ODONTOESTAT - Software Estatístico Voltado à Odontologia. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

30.
SOUZA, PAULO S. L.; Vaz, M.S.M.G.. Participação em banca de Welton Patrick Baran.SISTRANS - Sistema de Transporte. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.



Participação em bancas de comissões julgadoras
Concurso público
1.
SOUZA, PAULO S. L.; Bonatto, V.; MELO, A. C. M. A.; MAGALHAES, L. P.; NEDJAH, N.. Concurso Público para Professor Doutor no SSC ICMC USP (Edital ATAc/ICMC/USP 037/2017). 2017. Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

2.
Paulo S. L. de Souza; Fabbri, S. C. P. F.; Costa, A. M.. Comissão de Seleção do Processo Seletivo para Professor Contratado Nível II - Edital 014/2013. 2013. Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

3.
Paulo S. L. de Souza; Toledo, F. M. B.; Cesar, A. C.. Comissão de Seleção do Processo Seletivo para Professor Contratado Nível III - Edital 015/2013. 2013. Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

4.
Azevedo, R.J.; Borges, M.A.F.; Durham, A.M.; Simoes, E.V.; SOUZA, P. S. L.. Comissão Julgadora Concurso Público para Cargo Professor Doutor na Faculdade de Tecnologia da Universidade Estadual de Campinas. 2010. Universidade Estadual de Campinas.

5.
SOUZA, P. S. L.; Branco, K.R.L.J.C.; Kondo, R.T.. Comissão Julgadora Concurso Público para Analista de Sistemas. 2009. Instituto de Ciências Matemáticas e de Computação Usp São Carlos.

6.
Sirbone, M. F. C.; Kondo, R.T.; Paulo S. L. de Souza. Comissão Julgadora do Processo Seletivo para Técnico de Telecomunicações junto ao CISC/USP. 2005. Universidade de São Paulo.

7.
SOUZA, P. S. L.; Piekarski, A.E.T.; Oyamada, M.S.. Teste Seletivo para Admissão de Professores Colaboradores na Área de Redes de Computadores. 2003. Universidade Estadual do Centro-Oeste.

8.
SOUZA, P. S. L.; Senger, L.J.; Rocha, J.C.. Concurso Público para Professor Assistente na área de Sistemas Operacional e Automação e Controle. 2002. Universidade Estadual de Ponta Grossa.

9.
SOUZA, P. S. L.; Branco, K.R.L.J.C.; Oyamada, M.S.. Concurso Público de Provas e Títulos para o Cargo de Professor de Carreira não Titular na área de Redes de Computadores. 2002. Universidade Estadual do Centro-Oeste.

10.
SOUZA, P. S. L.; Oyamada, M.S.; Piekarski, A.E.T.. Concurso Público de Provas e Títulos para o Cargo de Professor de Carreira não Titular na área de Arquitetura de Computadores. 2002. Universidade Estadual do Centro-Oeste.

11.
Silva, F. A. B.; Paulo S. L. de Souza; Souza, M.A.. Concurso Público para Docente na área de Sistemas Distribuídos. 1998. Universidade Estadual do Oeste do Paraná.

12.
Paulo S. L. de Souza; Souza, J. U. F.; Celinski, T. M.. Concurso Público para Professor Auxiliar na Área de Inteligência Artificial. 1993. Universidade Estadual de Ponta Grossa.

Livre docência
1.
MANACERO JUNIOR, A.; SOUZA, PAULO SERGIO LOPES DE; GOLDMAN, A.; SATO, L. M.; SONG, S. W.. Concurso de Livre-Docente em Arquitetura de Computadores de Alexandro José Baldassin - IGCE, UNESP. 2018. Universidade Estadual Paulista Júlio de Mesquita Filho.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
4o.Congresso de Graduação da Universidade de São Paulo. A Utilização de Aprendizado Baseado em Equipes como Técnica de Aprendizagem Ativa em Programação Concorrente. 2018. (Congresso).

2.
3o. Congresso de Graduação da Universidade de São Paulo. 2017. (Congresso).

3.
2o. Congresso de Graduação da Universidade de São Paulo. Aprendendo a Ensinar Sistemas Operacionais. 2016. (Congresso).

4.
31st ACM Symposium on Applied Computing.An Interative Approach for the Teaching of Virtual Memory Using Open Educational Resources. 2016. (Simpósio).

5.
27th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2015). 2015. (Simpósio).

6.
XXXV Congresso da Sociedade Brasileira de Computação ( CSBC 2015). Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. 2015. (Congresso).

7.
V Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2014. Teste de Aplicações de Alto Desempenho. 2014. (Congresso).

8.
Workshop on Distributed Computing. Testing of Concurrent Programs and Amnesia Project. 2014. (Congresso).

9.
Palestra Intitulada "Atividades de Pesquisa", proferida pelo Prof. Júlio Cezar Estrella. 2013. (Seminário).

10.
Palestra intitulada "Investigação do DAMICORE para Múltiplas Áreas e Geração de Artigos em Periódicos Internacionais em Curto Prazo" proferida pelo Prof. Alexandre Cláudio Botazzo Delbem. 2013. (Seminário).

11.
Palestra Intitulada " Model Based Testing" proferida por Adenilso da Silva Simão. 2013. (Encontro).

12.
Palestra Intitulada "Quem sou eu? O que faço? Quem são meus ídolos?" proferida pelo Prof. Seiji Isotani. 2013. (Seminário).

13.
VII Congresso do Departamento de Sistemas de Computação. 2013. (Congresso).

14.
Workshop de Integração com Técnicas de PNL "Programação Neuro Linguística". 2013. (Oficina).

15.
VI Congresso do Departamento de Sistemas de Computação. 2012. (Congresso).

16.
Worshop - Pós-Graduação ICMC 10-20: Metas de Curto e Longo Prazo (WPG1020). 2010. (Encontro).

17.
12a Semana da Computação. Mestrado Acadêmico, MEstrado Profissionalizante e o MErcado de Trabalho: Qual caminho seguir após a Graduação? (Mesa Redonda). 2009. (Congresso).

18.
II Escola regional de Informática do Centro Oeste 2.Encontrando Defeitos em Programas Concorrentes. 2009. (Encontro).

19.
III Congresso do Departamento de Sistemas de Computação. 2009. (Congresso).

20.
15th European PVM/MPI User's Group Meeting. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. 2008. (Congresso).

21.
II Congresso do Departamento de Sistemas de Computação do ICMC/USP. 2008. (Congresso).

22.
International Conference on Computer Science 2008. Structural Testing for Semaphore-Based Multithread Programs. 2008. (Congresso).

23.
I Workshop dos Cursos de Graduação do ICMC/USP. 2008. (Encontro).

24.
Semana de Seminários da Ciência da Computação da PUC Minas.Desenvolvimento de Aplicações Paralelas com Qualidade: Desafios e Perspectivas. 2008. (Seminário).

25.
TAIC PART 2008 - Testing Academic and Industrial Conference - Practice and Research Techniques. Web Services Composition Testing: a Strategy Based on Structural Testing of Parallel Programs. 2008. (Congresso).

26.
19th International Symposium on Computer Architecture and High Performance Computing - 1st Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007).Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. 2007. (Simpósio).

27.
I Congresso do Departamento de Sistemas de Computação do ICMC/USP. I Congresso do Departamento de Sistemas de Computação do ICMC/USP. 2007. (Congresso).

28.
I Workshop de Ensino do Departamento de Sistemas de Computação do ICMC/USP. 2007. (Outra).

29.
Tarde de Discussão sobre o Curso de Engenharia de Computação. 2007. (Encontro).

30.
1o. Congresso do Curso Interunidades Engenharia de Computação. 1o. Congresso do Curso Interunidades Engenharia de Computação. 2006. (Congresso).

31.
I Semana de Software Livre de Ponta Grossa: superando medos, dúvidas e incertezas.Linux na Computação de Alto Desempenho. 2005. (Encontro).

32.
VII Curso de Qualidade da Sociedade Brasileira de Computação. 2005. (Oficina).

33.
VIII Semana da Computação do ICMC/USP. 2005. (Encontro).

34.
XXV Congresso da Sociedade Brasileira de Computação. 2005. (Congresso).

35.
II Mostra de Projetos em Computação. 2004. (Outra).

36.
VI Curso de Qualidade da Sociedade Brasileira de Computação. 2004. (Oficina).

37.
XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

38.
Conferência Internacional de Software Livre. 2003. (Congresso).

39.
PROCOMP2003 - I Mostra de projetos em computação. 2003. (Congresso).

40.
Workshop de Programação Extrema. 2003. (Encontro).

41.
XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).

42.
II Encontro de Pesquisa da UEPG. 2002. (Encontro).

43.
III WSCAD/SBC - Worshop em Sistemas Computacionais de Alto Desempenho da Sociedade Brasileira de Computação. III WSCAD/SBC - Worshop em Sistemas Computacionais de Alto Desempenho da Sociedade Brasileira de Computação. 2002. (Congresso).

44.
VI Workshop de Sistemas Distribuídos e Paralelismo. Jornadas Chilenas de Computacion, VI Worshop de Sistemas Distribuidos y Paralelismo. 2002. (Congresso).

45.
XIV SBAC/PAD - Symposium on Computer Architecture and High Performance Computing. 2002. (Simpósio).

46.
XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).

47.
I EPA - Encontro de Planejamento e Avaliação da Iniciativa Kit Enxoval do CNPq. 2001. (Encontro).

48.
III Curso de Qualidade - Planos Pedagógicos de Cursos na Área de Computação e Informática da SBC.III Curso de Qualidade - Planos Pedagógicos de Cursos na Área de Computação e Informática da SBC. 2001. (Outra).

49.
Palestra sobre Empreendedorismo promovida pelo Centro de Treinamento em Informática da UEPG. 2001. (Encontro).

50.
Palestra sobre Teste de Mutação: Estado Atual e Perspectivas promovida pelo Ciclo de Palestras em Informática da UEPG.Teste de Mutação: Estado Atual e Perspectivas, palestra promovida pelo Ciclo de Palestras em Informática da UEPG. 2001. (Encontro).

51.
SITE - I Simpósio de Informática e Tecnologia da UEPG. 2001. (Simpósio).

52.
X Encontro Anual de Iniciação Científica / I Encontro de Pesquisa da UEPG. 2001. (Encontro).

53.
XXI Congresso da Sociedade Brasileira de Computação, XIV CTD - Concurso de Teses e Dissertações. XXI Congresso da Sociedade Brasileira de Computação - Apresentador da tese de doutorado AMIGO: uma Contribuição para a - Apresentador da tese de doutorado AMIGO: uma Contribuição para a Convergência na Área de Escalonamento de Processos no XIV CTD. 2001. (Congresso).

54.
XX Congresso da Sociedade Brasileira de Computação. 2000. (Congresso).

55.
IV Simpósio de Teses e Dissertações do ICMC/USP. 1999. (Simpósio).

56.
III Simpósio de Teses e Dissertações do Programa de Pós-graduação da Área de Ciências de Computação e Matemática Computacional. 1998. (Simpósio).

57.
II Semana da Computação. 1998. (Oficina).

58.
IX Simpósio Brasileiro de Engenharia de Software. 1995. (Simpósio).

59.
Workshop de Dissertações em Andamento.Máquina Paralela no Ambiente Windows. 1995. (Encontro).

60.
X Simpósio Brasileiro de Banco de Dados. 1995. (Simpósio).

61.
XIII Congresso de Iniciação Científica e Tecnológica em Engenharia. 1994. (Congresso).

62.
II Seminário de Ensino de Graduação da UEPG. 1992. (Seminário).

63.
1o. Seminário de Informática e Automação. 1989. (Seminário).

64.
A Comunicação Escrita na Empresa Moderna. 1989. (Seminário).

65.
I Semana de Informática - UEPG. 1988. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
DE SOUZA, PAULO SERGIO L.; Bianchini, C. P. . XIX Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD). 2018. (Congresso).

2.
SOUZA, PAULO SERGIO LOPES DE; Guardia, H.C. ; MENOTTI, R. ; Bruschi, S.M. ; FAZENDA, A. . 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). 2017. (Congresso).

3.
Bianchini, C. P. ; SATO, L. M. ; SOUZA, PAULO S. L. . 7a. Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2016 (Coordenador Geral de Programa). 2016. (Congresso).

4.
SOUZA, PAULO S. L.; Bruschi, S.M. ; Souza, S.R.S. . Workshop on Distributed Computing. 2014. (Congresso).

5.
SOUZA, P. S. L.; Silva, J. L. . Ciclo de Palestras do SSC em 2013. 2013. (Outro).

6.
Marques, E. ; Toledo, C. F. M. ; Osório, F. S. ; SOUZA, PAULO S. L. ; Isotani, S. . Comissão Organizadora do VII Congresso do Departamento de Sistemas de Computação - 2013. 2013. (Congresso).

7.
SOUZA, P. S. L.; Simoes, E.V. . Programa de Eventos de Integração do SSC para 2013. 2013. (Outro).

8.
Paulo S. L. de Souza. Comissão Organizadora do SBAC-PAD2004. 2004. (Congresso).

9.
Paulo S. L. de Souza. Comitê de Programa do Simpósio Brasileiro de Sistemas de Informação 2004. 2004. (Congresso).

10.
DE SOUZA, PAULO SERGIO L.. Membro da Comissão Organizadora do ProComp2004 - II Mostra de Projetos em Computação. 2004. (Outro).

11.
Francês, C. R. L. ; Costa, T. S. ; Santana, M.J. ; Santana, R.H.C. ; Paulo S. L. de Souza . Comissão de Programa do WEI2004/SBC2004. 2004. (Congresso).

12.
DE SOUZA, PAULO SERGIO L.. Organização do ProComp2003 - I Mostra de Projetos em Copmutação. 2003. (Outro).

13.
SOUZA, P. S. L.; Souza, S.R.S. . Curso de Extensão Introdução à Linguagem C - Assessor de Coordenação. 2001. (Outro).

14.
DE SOUZA, PAULO SERGIO L.. Membro da Comissão Organizadora da Semana Comemorativa dos 20 Anos da Pós-Graduação em Ciência de Computação e Matemática Computacional do ICMSC/USP. 1995. (Outro).

15.
SOUZA, P. S. L.. II Semana de Informática do Departamento de Informática da UEPG. 1992. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Ana Carolina Fernandes Spengler. Uso de blockchain na gestão de dados hospitalares. Início: 2018. Dissertação (Mestrado profissional em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Guilherme Martins. Recursos Educacionais para o Ensino da Programação Concorrente em Multiprocessadores Heterogêneos. Início: 2017. Dissertação (Mestrado profissional em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Davi José Conte. Distribuição da Carga de Trabalho em Nuvens: uma abordagem considerando CaSS. Início: 2017. Dissertação (Mestrado profissional em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Vitor Silva Montes. Identifying Software Errors by Evaluating Runtime Monitors. Início: 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. (Orientador).

5.
Silvia Margarita Diaz Diaz. Structural Testing Criteria of Concurrent Programs Based on Dynamic Aspects. Início: 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Naylor Garcia Bachiega. Unificating Methods to Evaluate Computer Systems. Início: 2016. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. (Orientador).

2.
Helder Jefferson Ferreira da Luz. Teste de Programas Concorrentes em CUDA. Início: 2014. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. (Orientador).

Iniciação científica
1.
Lucas Nobuyuki Takahashi. Programação Paralela com OpenACC e CUDA para Alunos Ingressantes em Cursos Superiores de Computação. Início: 2018. Iniciação científica (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. (Orientador).

2.
Matheus Henrique Junqueira Saldanha. Predição de Estruturas de Proteínas com Algoritmos Paralelos Ortogonais às Plataformas Paralelas. Início: 2018. Iniciação científica (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

3.
Rafael Farias Roque. Execução Determinística em MPI. Início: 2018. Iniciação científica (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Rafael Regis do Prado. Teste Estrutural de Programas Concorrentes como um Serviço na Web. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

2.
Frederico Cassis Ribeiro Santos. Análise de execução de aplicações paralelas em grades móveis com restrições de processamento e bateria. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, . Orientador: Paulo Sérgio Lopes de Souza.

3.
Zhang Yifei. Estudo e simulação de algoritmos de escalonamento para grades móveis voltados à conectividade dos dispositivos móveis. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Sérgio Lopes de Souza.

4.
Raphael Negrisoli Batista. Desenvolvimento de um framework teórico para teste estrutural distribuído. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

5.
George Gabriel Mendes Dourado. Contribuindo para a Avaliação do Teste de Programas Concorrentes: uma abordagem usando benchmarks. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

6.
Carlos Emilio de Andrade Cacho. Desenvolvimento e Utilização de Recursos Educacionais Abertos para Colaborar com o Ensino de Memória Virtual. 2015. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

7.
Bruno Squizato Faiçal. Políticas de Escalonamento em Cluster de Web Services: uma abordagem flexível, dinâmica e transparente. 2012. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

8.
Mário Cesar da Cunha Machado. Avaliando a Eficácia de Critérios de Teste para Programas Concorrentes. 2011. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

9.
Felipe Santos Sarmanho. Teste de Programas Concorrentes com Memória Compartilhada. 2009. 0 f. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

10.
Jonathan de Matos. Balanceamento de carga flexível e dinâmico para provedores de web services. 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

11.
Aletéia Patrícia Favacho de Araújo. DPWP - Uma Nova Abordagem para o Escalonamento Dinâmico em Computação Paralela Virtual (Or.: Marcos José Santana). 1999. 0 f. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Coorientador: Paulo Sérgio Lopes de Souza.

Tese de doutorado
1.
Alexandre Ponce de Oliveira. Definição de Mecanismos de Teste para Aplicações Concorrentes Desenvolvidas em Linguagens Funcionais. 2017. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, . Orientador: Paulo Sérgio Lopes de Souza.

Trabalho de conclusão de curso de graduação
1.
Ana Caroline Fernandes Spengler. Aprendendo a ensinar com o desenvolvimento de um REA para Hadoop Distributed File System. 2017. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

2.
Andressa Baptistine Andrião. Recurso Educacional para o Aprendizado deFirewalls. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

3.
Ana Caroline Fernandes Spengler. Team Based Learning. 2017. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

4.
Jéssika Darambaris Oliveira. Otimizando o Metabase (em 2017/1). 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

5.
Jéssika Darambaris Oliveira. Universalização do Acesso aos Dados pela Fundação LEmann via ChatBot (em 2017/2). 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

6.
Rodrigo Martins Racanicci. Otimização e paralelização de técnicas de atribuição de autoria envolvendo redes complexas. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

7.
Ivan Caramello de Andrade. Estudo e Implementação do Teste de Alcançabilidade no Contexto de Teste Estrutural para Programas Concorrentes em Java. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

8.
Murilo Giacometti Rocha. FriendlyLicenseNames- Apoio ao uso de software licenciado. 2013. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

9.
Gabriel Garcia Bim. Convertendo códigos binários MIPS: uma contribuição para o Amesia. 2010. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

10.
Bruno Lorenço Lopes. Desenvolvendo Benchmarks para Avaliar Ferramentas de Teste de Programas Concorrentes. 2009. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

11.
Daniel Kikuti. Monster: uma ferramenta para monitoração de clusters voltada ao escalonamento dinâmico de processos. 2003. 11 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa. Orientador: Paulo Sérgio Lopes de Souza.

Iniciação científica
1.
Murilo Giacometti Rocha. Avaliação de um Novo Modelo de Teste Estrutural para Programas Concorrentes. 2012. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

2.
Rafael Regis do Prado. Extensão das funcionalidades da ferramenta de testes ValiMPI. 2011. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

3.
Daniel Elias Machado Junho. Acessos Paralelos à Memória no Projeto Amnesia com uma CPU Pipeline. 2010. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

4.
Matheus Pedroso de Moraes. Usando Arquivos de Rastro no Projeto Amnesia. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

5.
Rodrigo Ladeira. Definição de Métricas para Web Services: uma contribuição usando monitoração. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

6.
Bruno Henrique Oliveira. Explorando Objetos de Aprendizado no Ensino de Memórias Cache. 2008. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

7.
Vinícius Mendes Madisson. Explorando Objetos de Aprendizado no Ensino de Memória Virtual. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

8.
Eduardo Takeshi Sawabe. Definição e Implementação de uma Interface Gráfica para a Ferramenta de Teste ValiPar. 2007. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

9.
Jordan Herbert Santos. Amnésia: um simulador de hierarquia de memória - módulo processador. 2007. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo. Orientador: Paulo Sérgio Lopes de Souza.

10.
Bruno Henrique Oliveira. Amnésia: um simulador de hierarquia de memória - módulo memória cache. 2007. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

11.
Jonathan de Matos. Estudo do desempenho de arquiteturas avançadas de computadores quando aplicadas à simulação de mecânica quântica.. 2005. 10 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

12.
Eduardo Bortolato. Análise, modelagem e implementação de algoritmos de alto desempenho voltados à simulação de mecânica quântica.. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

13.
Diogo Colla Pereira. Computação Paralela Distribuída. 2003. 5 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Paulo Sérgio Lopes de Souza.

14.
Diogo Colla Pereira. MinMAx - Uma nova política de escalonamento CPU-Bound baseada em recursos mínimos. 2002. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

15.
Daniel Kikuti. Monitoramento de desempenho para clusters baseados no Sistema Operacional Windows e no Ambiente de Passagem de Mensagem PVM-W95. 2002. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Sérgio Lopes de Souza.

16.
William Voorsluys. IOBest - A New Dynamic Scheduling Policy for I/O Specific Demand. 2002. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa. Orientador: Paulo Sérgio Lopes de Souza.

Orientações de outra natureza
1.
Ana Carolina Fernandes Espengler. Programa de Aperfeiçoamento de Ensino (PAE) SSC0143 Programação Concorrente. 2018. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

2.
Davi José Conte. Programa de Aperfeiçoamento de Ensino (PAE) SSC0143 Programação Concorrente. 2018. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

3.
Guilherme Martins. Programa de Aperfeiçoamento de Ensino (PAE) SSC0742 Programação Concorrente. 2018. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

4.
Davi José Conte. Programa de Aperfeiçoamento de Ensino (PAE) SSC0112 Organização de Computadores Digitais I. 2018. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

5.
Raphael Negrisoli Batista. Supervisor PAE da disciplina SSC0112 - Organização de Computadores Digitais I. 2013. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

6.
Luis Hideo Vasconselos Nakamura. Supervisor PAE da disciplina SSC0112 - Organização de Computadores Digitais I. 2013. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

7.
George Gabriel Mendes Dourado. Supervisor PAE da disciplina SSC0610 - Organização de Computadores Digitais I. 2013. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

8.
Rafael Regis do Prado. Supervisor PAE da disciplina SCE0510 - Arquitetura de Computadores. 2013. Orientação de outra natureza. (Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

9.
Bruno Squizato Faiçal. Supervisor PAE da disciplina SSC0143 - Programação Concorrente. 2010. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

10.
Mário Cesar da Cunha Machado. Supervisor PAE da disciplina SSC0143 - Programação Concorrente. 2009. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

11.
Bruno Squizato Faiçal. Supervisor PAE da disciplina SSC0112 - Organização de Computadores Digitais I. 2009. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

12.
Mário Cesar da Cunha Machado. Supervisor PAE da disciplina SSC0112 - Organização de Computadores Digitais I. 2009. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

13.
Lourenço Alves Pereira Júnior. Supervisor PAE da disciplina SCE0217 - Programação Concorrente. 2008. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

14.
Lourenço Alves Pereira Júnior. Supervisor PAE da disciplina SCE0607 - Organização de Computadores Digitais I. 2008. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

15.
Jonathan de Matos. Supervisor PAE da disciplina SCE0217 - Programação Concorrente. 2008. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

16.
Felipe Santos Sarmanho. Supervisor PAE da disciplina SCE0217 - Programação Concorrente. 2007. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

17.
Felipe Santos Sarmanho. Supervisor PAE da disciplina SCE0157 - Organização de Computadores Digitais I. 2007. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

18.
Jonathan de Matos. Supervisor PAE da disciplina SCE0157 - Organização de Computadores Digitais I. 2007. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

19.
Fábio Hitoshi IDe. Supervisor PAE da disciplina SCE0217 - Programação Concorrente. 2006. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos. Orientador: Paulo Sérgio Lopes de Souza.

20.
Valter Rogério Messias. Supervisor PAE da disciplina SCE0157 - Organização de Computadores Digitais I. 2006. Orientação de outra natureza. (Bacharelado Em Ciências de Computação) - Instituto de Ciências Matemáticas e de Computação Usp São Carlos, Universidade de São Paulo - Pró-Reitoria de Graduação. Orientador: Paulo Sérgio Lopes de Souza.

21.
Leandro Pereira dos Santos. Orientação de Monitoria nas aulas práticas da disciplina de Arquitetura de Computadores. 2002. 0 f. Orientação de outra natureza - Universidade Estadual de Ponta Grossa. Orientador: Paulo Sérgio Lopes de Souza.

22.
Marcos Viana Duchinski. Orientação de Monitoria nas aulas práticas da disciplina de Arquitetura de Computadores. 2002. 0 f. Orientação de outra natureza. (Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Paulo Sérgio Lopes de Souza.



Inovação



Projetos de pesquisa

Projeto de extensão


Educação e Popularização de C & T



Apresentações de Trabalho
1.
SOUZA, PAULO S. L.; Bruschi, S.M. . Aprendendo a Ensinar Sistemas Operacionais. 2016. (Apresentação de Trabalho/Congresso).

2.
Cacho, C. E. A. ; SOUZA, PAULO S. L. ; Bruschi, S.M. ; BARBOSA, E. F. ; TIOSSO, F. . An Interative Approach for the Teaching of Virtual Memory Using Open Educational Resources. 2016. (Apresentação de Trabalho/Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Francês, C. R. L. ; Costa, T. S. ; Santana, M.J. ; Santana, R.H.C. ; Paulo S. L. de Souza . Comissão de Programa do WEI2004/SBC2004. 2004. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 8:50:12