Sandro Rigo

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


Sandro Rigo received his Ph.D. in computer science from University of Campinas (UNICAMP), Brazil, in 2004, for his work on the ArchC Architecture Description Language. He currently works as an Associate Professor in the Institute of Computing at UNICAMP. Prof Rigo was the chair of the BSC program in Computer science from 2009 to 2011 and is currently the Information Technology and Communication Coordinator for the University of Campinas. He co-received the best paper awards in the Symposium on Computer Architecture and High-Performance Computing (SBAC-PAD 2004), Workshop of Computer Architecture and High Performance Systems (WSCAD 2012), and the Brazilian Symposium for Information Security (SBSEG 2016). His current research interests are on several aspects of code generation and optimization, like performance, security, and energy consumption; Electronic System Level simulation and verification methodologies, and energy efficiency in computer systems. (Texto informado pelo autor)


Identificação


Nome
Sandro Rigo
Nome em citações bibliográficas
RIGO, S.;Rigo, Sandro

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Instituto de Computação.
Avenida Albert Einstein, 1251
Cidade Universitária
13083852 - Campinas, SP - Brasil
Telefone: (19) 35215849
Fax: (19) 35215847
URL da Homepage: http://www.ic.unicamp.br/~sandro


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


2000 - 2004
Doutorado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: ArchC: Uma Linguagem de Descrição de Arquiteturas, Ano de obtenção: 2004.
Orientador: Guido Costa Souza de Araújo.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: Arquitetura de Computadores; Projeto em Nível de Sistema; Linguagem de descrição; Sistemas embutidos de computador.
Grande área: Ciências Exatas e da Terra
1998 - 2000
Mestrado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Experimentos com Codificação e Compactação no Gerenciamento de Memória da Máquina Virtual Java,Ano de Obtenção: 2000.
Orientador: Guido Costa Souza de Araújo.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
1994 - 1997
Graduação em Matemática Aplicada e Computacional.
Universidade Estadual de Campinas, UNICAMP, Brasil.


Pós-doutorado e Livre-docência


2008
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: , Ano de obtenção: 2008.
Palavras-chave: Compiladores e Linguagens de Programação.
Grande área: Ciências Exatas e da Terra
2015 - 2016
Pós-Doutorado.
The State University of New Jersey - New Brunswick, RUTGERS, Estados Unidos.
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: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2005 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2005 - 2005
Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 20

Vínculo institucional

2002 - 2002
Vínculo: Estagio, Enquadramento Funcional: Bolsista, Carga horária: 4

Vínculo institucional

2001 - 2001
Vínculo: Estagio, Enquadramento Funcional: Bolsista, Carga horária: 4

Atividades

05/2017 - Atual
Direção e administração, Reitoria, .

Cargo ou função
Coordenador de Tecnologia da Informação e Comunicação.
05/2017 - Atual
Direção e administração, Centro de Computação, .

Cargo ou função
Superintendente do Centro de Computação.
08/2009 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
MC910 - Construção de Compiladores
7/2006 - Atual
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Coordenador do Laboratório UNICAMP-Microsoft.
3/2006 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Circuitos Lógicos
Algoritmos e Programação de Computadores
3/2005 - Atual
Pesquisa e desenvolvimento , Instituto de Computação, .

4/2012 - 7/2015
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Representante da Unicamp no Conselho Curador do Softex Campinas.
07/2013 - 07/2014
Direção e administração, Instituto de Computação, .

Cargo ou função
Coordenador Associado do Bacharelado em Ciência da Computação.
06/2013 - 04/2014
Direção e administração, Reitoria, Agência de Inovação da Unicamp.

Cargo ou função
Assessor para Assuntos de Empreendedorismo.
07/2011 - 06/2013
Direção e administração, Instituto de Computação, .

Cargo ou função
Coordenador Associado do Curso de Bacharelado em Sistemas de Computação.
07/2009 - 06/2011
Direção e administração, Instituto de Computação, .

Cargo ou função
Coordenador do Curso de Bacharelado em Ciência da Computação.
03/2009 - 07/2009
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
MC011 - Laboratório de Construção de Compiladores
03/2009 - 07/2009
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
MO403 - Implementação de Linguagens I
08/2008 - 06/2009
Direção e administração, Instituto de Computação, .

Cargo ou função
Vice-chefe do Departamento de Sistemas de Computação.
08/2007 - 06/2009
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro da Comissão de Extensão.
07/2007 - 06/2009
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Representante MS-3 na Congregação do IC.
08/2008 - 12/2008
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Construção de Compiladores
02/2008 - 07/2008
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Construção de Compiladores
02/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Implementação de Linguagens II
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
MO801-Tópicos em Arquitetura e Hardware
08/2007 - 12/2007
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
MC910 - Construção de Compiladores
03/2007 - 06/2007
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
MC011- Laboratório de Construção de Compiladores
7/2005 - 12/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
3/2005 - 7/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Circuitos Lógicos
6/2001 - 6/2003
Conselhos, Comissões e Consultoria, Instituto de Computação, Instituto de Computação.

Cargo ou função
Representante Discente junto à Comissão de Pós-Graduação.
3/2002 - 7/2002
Estágios , Instituto de Computação, Instituto de Computação.

Estágio realizado
Programa de Estágio de Docente na Atividade Supervisionada de Apoio a Docência.
08/2001 - 12/2001
Estágios , Instituto de Computação, .

Estágio realizado
Programa de Estágio Docente na Atividade Supervisionada de Apoio a Docência.

Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Horista, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

2/2005 - 7/2005
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Circuitos Lógicos
1/2005 - 2/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores (curso de verão)
8/2004 - 12/2004
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Circuitos Lógicos
8/2004 - 12/2004
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
Organização Básica de Computadores

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

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Professor
Outras informações
Ministrou aulas no curso de Introdução à Programação para alunos participantes da Olimpíada Brasileira de Informática (OBI)

Vínculo institucional

2004 - 2004
Vínculo: Colaborador, Enquadramento Funcional: Professor Convidado, Carga horária: 35

Atividades

7/2004 - 7/2004
Outras atividades técnico-científicas , Sociedade Brasileira de Computação - Porto Alegre, Sociedade Brasileira de Computação - Porto Alegre.

Atividade realizada
ministrou aulas no Curso de Introdução a Programação de Computadores, realizado no IC-UNICAMP, de 13 a 18 de Julho de 2004, com duração de 35 horas, na VI Olimpíada Brasileira de Informática (OBI2004).


Linhas de pesquisa


1.
Linguagens de Programação e Compiladores
2.
Arquitetura de Computadores
3.
Projeto de Sistemas Dedicados
4.
Compilação para Arquiteturas Multicore


Projetos de pesquisa


2015 - 2017
Technologies for seamless interaction with wearables and IoT devices

Projeto certificado pelo(a) coordenador(a) Edson Borin em 07/04/2016.
Situação: Concluído; Natureza: Pesquisa.
2015 - Atual
Análise Estática para Detecção de Erros de Energia

Projeto certificado pelo(a) coordenador(a) Edson Borin em 25/05/2015.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Doutorado: (2) .
Integrantes: Sandro Rigo - Integrante / Maxiwell Salvador Garcia - Integrante / Edson Borin - Coordenador / cristianno martins - Integrante.
2014 - Atual
ArchC 3.0 - Plataformas Embarcadas de Alto Desempenho e Baixo Consumo de Energia

Projeto certificado pelo(a) coordenador(a) Rodolfo Jardim de Azevedo em 01/03/2017.
Descrição: A Lei de Moore, que prevê o dobro do número de transistores por circuito integrado a cada 2 anos, não é mais suficiente para fornecer o ganho de desempenho esperado das aplicações de uso geral. Desde o início deste século, os fabricantes de processadores direcionaram seus esforços ao desenvolvimento de arquiteturas multi-cores, forçando o desenvolvimento de versões paralelas de programas. Chegamos ao momento tecnológico onde o custo de um transistor é marginal e dispositivos móveis como celulares já possuem 4 ou mais \cores e começam a utilizar processadores especializados para gastarem menos energia conforme o momento de operação, como as arquiteturas big-little e a exploração de Dark-Silicon. A linguagem ArchC foi criada em 2002 e, desde então, tem sido utilizada em projetos de pesquisa e desenvolvimento em diversas instituições do Brasil e do mundo. Neste projeto pretendemos trabalhar com plataformas compostas por muitos \cores com objetivo de desempenho e foco em baixo consumo de energia como os encontrados em dispositivos móveis e ultra-low-power. Como resultado do projeto pretendemos ampliar a capacidade da linguagem na modelagem do consumo de energia do processador e também numa melhor aproximação do desempenho de execução quando se tratar de simulação multicores e manycores..
Situação: Em andamento; Natureza: Pesquisa.
2014 - Atual
Exploração de Paralelismo em Hardware e Software

Projeto certificado pelo(a) coordenador(a) Rodolfo Jardim de Azevedo em 01/03/2017.
Descrição: A Lei de Moore, que prevê o dobro do número de transistores por circuito integrado a cada 2 anos, já não pode ser aproveitada como no passado, inviabilizando o desenvolvimento de processadores maiores e com frequência sempre crescente. Desde o início deste século, por causa da barreira térmica, os fabricantes de processadores focaram seus esforços no desenvolvimento de arquiteturas {\it multicore}, evoluindo pouco na execução de código sequencial e forçando o desenvolvimento de versões paralelas de aplicativos. Embora este esforço esteja mostrando algum resultado, com a criação de novas versões de programas capazes de explorar o paralelismo dos processadores modernos, não há como negar que ainda existe muito trabalho a ser feito nesta direção e que nem todos os programas terão implementações paralelas eficientes. Por outro lado, qualquer nova técnica que melhore o desempenho de aplicações sequenciais também melhorará o desempenho de suas versões paralelas. O foco deste projeto é estudar técnicas de exploração de paralelismo, tanto em software quanto em hardware, permitindo a execução eficiente de programas em processadores modernos. Estamos interessados em melhorias arquiteturais, dentro dos \textit{cores}, em novas formas de interligar estes \textit{cores}, numa maior quantidade deles dentro de um circuito integrado, na utilização de aceleradores como GPGPU e em composições de múltiplos computadores na forma de clusters ou nuvem. Para cada uma destas configurações de hardware, também serão necessárias pesquisas e inovações na área de software.
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2016
WebLectures 2.0
Descrição: Projeto de pesquisa sobre novas tecnologias voltadas ao ensino. Desenvolvimento de plataforma de software para gravação de aulas usando tablet pcs.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Sandro Rigo - Coordenador / Rodolfo Azevedo - Integrante.Financiador(es): Microsoft Brasil - Auxílio financeiro.
2013 - 2015
Modelagem de consumo de energia em dispositivos móveis baseados em processadores ARM
Descrição: O principal objetivo neste projeto é entender como a energia é consumida pelos componentes de hardware como CPU, GPU, memória, e dispositivos periféricos, levando em consideração todas as camadas da plataforma do software. Os resultados esperados incluem modelos de consumo de energia, uma metodologia eficiente para gerar estes modelos e medidas de consumo de energia para sistemas modernos baseados nos processadores ARM, considerando-se diferentes modos de consumo de energia do processador.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Sandro Rigo - Coordenador / Edson Borin - Integrante.Financiador(es): Samsung Eletrônica da Amazônia - Auxílio financeiro.
2012 - Atual
Técnicas de Formação e Identificação de Regiões Quentes e Paralelização de Laços usando Software Pipeline Desacoplado

Projeto certificado pelo(a) coordenador(a) Guido Costa Souza de Araújo em 16/01/2014.
Situação: Em andamento; Natureza: Pesquisa.
2012 - Atual
Sistemas Integrados Multiprocessados para Suporte a Realidade Aumentada em Dispositivos Móveis
Descrição: MCT/CNPq/MEC/Capes - Ação Transversal no. 06/2011 - Casadinho/Procad.
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2013
Análise, Modelagem e Otimização de Potência e Desempenho em Data-centers
Descrição: Projeto Universal. Valor R$60.000,00.
Situação: Concluído; Natureza: Pesquisa.
2010 - 2013
Interoperabilidade Open Source e a Plataforma Microsoft - Projeto Vicos
Descrição: A Microsoft Brasil e a Unicamp ampliaram acordo para desenvolvimento de projetos de interoperabilidade entre plataforma Microsoft e de código-fonte aberto em laboratório de pesquisa próprio. Este Projeto pesquisa sobre infraestrutura para computação em nuvem. Valor: 50.000,00 financiados pela Microsoft Brasil.
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Desenvolvimento de Técnicas de Hardware e Software para Otimização de Desempenho em Arquiteturas Modernas de Processadores
Descrição: Projeto Universal. Valor R$97.500,00.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (8) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Paulo César Centoducatte - Integrante / Rodolfo Azevedo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Memórias Transacionais: Desafios no Projeto e na Programação
Descrição: Atualmente os modelos de programação, as linguagens e ferramentas disponíveis para o desenvolvimento de programas paralelos podem ser, de forma simplificada, resumidos em: (a) data parallelism -- que é um modelo baseado em aplicar uma operação em um conjunto de dados e (b) task parallelism -- que executa computações sobre threads concorrentes coordenadas por mecanismos de sincronização explicitos tais como locks, semaphores, queues, etc. Um mecanismo de sincronização alternativo que vem despertando bastante interesse por parte de pesquisadores nos últimos anos é a Memória Transacional (Transactional Memory, ou TM). O modelo transacional usa como base o conceito de transação para garantir sincronismo entre threads concorrentes. Uma transação é uma seqüência de instruções com garantia de atomicidade e isolamento. Durante sua execução, uma transação armazena localmente os acessos de leitura e escrita feitos aos dados compartilhados e, caso não ocorra nenhum conflito, torna visível instantaneamente suas alterações locais para o restante do sistema. Caso contrário, a transação é cancelada, suas alterações locais são descartadas e sua execução reiniciada. Esta característica otimista proporciona que sistemas transacionais explorem mais paralelismo, aumentando seu desempenho e escalabilidade. O uso de Memória Transacional também facilita a programação multi-threaded porque o programador não precisa se preocupar em garantir a sincronização como nas abordagens baseadas em bloqueios. Todo o controle de acesso à memória compartilhada é feito automaticamente pelo sistema que implementa Memória Transacional..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Sandro Rigo - Coordenador / Paulo Cesar Centoducatte - Integrante / Alexandro Baldassin - Integrante / Bruno de Carvalho Albertini - Integrante / Luis Felipe Strano Moraes - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Interoperabilidade Open Source e a Plataforma Microsoft - Projeto Interop Router
Descrição: A Microsoft Brasil e a Unicamp ampliaram acordo para desenvolvimento de projetos de interoperabilidade entre plataforma Microsoft e de código-fonte aberto em laboratório de pesquisa próprio. Este projeto trabalha com interoperabilidade entre clusters Linux e Windws. Valor: 100.000,00 financiados pela Microsoft Brasil.
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
e-Farms: Uma estrada de mão dupla de pequenas fazendas para o mundo em rede
Descrição: e-Farms é um projeto multidisciplinar que combina pesquisa em CC e em CA. Visa resolver problemas teóricos e aplicados envolvendo gerenciamento de dados agrícolas gerados por sensores, e comunicação de dados, via redes sem fio, em áreas rurais no Brasil. Está voltado, assim, a duas necessidades da população brasileira: investigaçãoo de soluções de baixo custo para a comunica ção nas áreas rurais em que a transmissão de dados ainda é limitada (por razões econômicas e/ou topológicas); e prover modelos, métodos e algoritmos para o gerenciamento, a integração e a análise de dados provenientes de sensores, visando apoio à decisão em gerenciamento de safras e planejamento agrícola. Valor: 130000 FAPESP Bolsas: 5 IC mais 1 de mestrado.
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2009
Projetos baseados em Plataformas: Estabelecendo um Ambiente Comum para Pesquisas e Desenvolvendo Novas Metodologias de Projeto
Descrição: Projeto de Cooperação Nacional (PROCAD) entre Unicamp, UFCG e UFPE. O objetivo é a criação de metodologias e infra-estrutura para o aumento da capacidade de exploração de alternativas de projeto de plataformas SoCs, visando a possibilidade de simular não só o processador executando um dado software, mas também todos os componentes envolvidos no sistema tais como memórias, sistemas de interconexão e IP-cores de aplicação específica projetados como módulos em alguma linguagem de descrição de hardware..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (4) .
Integrantes: Sandro Rigo - Integrante / Pablo Viana da Silva - Integrante / Edna Barros - Integrante / Paulo César Centoducatte - Coordenador / Manuel Euzebio de Lima - Integrante / Richard Maciel Costa - Integrante / Alexandro Baldassin - Integrante / Bruno de Carvalho Albertini - Integrante / Cristiano Araújo - Integrante / Abel Guilhermino Filho - Integrante / Edson Barbosa Lisboa - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 1 / Número de orientações: 1
2006 - 2009
Automação de Projeto de Sistemas Dedicados Usando uma Linguagem de Descrição de Arquiteturas
Descrição: Projeto de colaboração PROCAD entre UNICAMP e UFSC que tem como objetivos a ampliação e o aprimoramento das ferramentas da ADL ArchC voltadas à automação de projeto, tais como geradores de simuladores, gerador de montadores, interfaces de depuração, interfaces de comunicação e integração com sistemas operacionais e técnicas de síntese automática de modelos em SystemC RTL (usando ferramentas de Behavioral Synthesis orientadas à exploração do espaço de projeto). ArchC vem sendo desenvolvida por integrantes das equipes que assinam este projeto como uma ferramenta de domínio público para a geração de modelos de processadores escritos em SystemC..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Marilia Chiozo - Integrante / Alexandro Baldassin - Integrante / Bruno de Carvalho Albertini - Integrante / Fernando Kronbauer - Integrante / Rodolfo Azevedo - Integrante / Thiago Sigrist - Integrante / Felipe Klein - Integrante / Luiz Claudio Villar dos Santos - Integrante / Luís Fernando Friedrich - Integrante / Olinto José Varella Furtado - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.Número de orientações: 2
2006 - 2008
Uma Infraestrutura para Pesquisa, Projeto e Simulação de Sistemas Dedicados
Descrição: O projeto tem como objetivos a ampliação e o aprimoramento de ferramentas da ADL ArchC voltadas à automação de projeto e a formação de pessoal capacitado a trabalhar projetos de sistemas dedicados com boa experiência em ferramentas de automação e metodologias de projeto, aptos a atuar tanto na indústria quanto na academia. 1. Valor: 50.000,00 2. Início: 01/2006 Término: 01/2008 3. Grupos: Sistemas de Computação/Projeto integrado de sofware e hardware 4. Projeto Institucional.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (8) / Mestrado profissional: (0) / Doutorado: (4) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Rodolfo Jardim de Azevedo - Integrante / Paulo César Centoducatte - Integrante / Richard Maciel Costa - Integrante / Thiago Massaroli Sigrist - Integrante / Alexandro Baldassin - Integrante / Bruno de Carvalho Albertini - Integrante / Luis Felipe Strano Moraes - Integrante / Mário Rodrigues de Oliveira - Integrante / Fernando Kronbauer - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 2
2006 - 2008
Projeto Casadinho Edital 007/2006 CNPq
Descrição: Projeto de colaboração intra-regional entre equipes de programas de pós-graduação consolidados e do DCT-UFMS, visando a consolidação do programa de mestrado do DCT-UFMS. Estarei atuando como membro da equipe do IC-UNICAMP, em colaboração com o Grupo de Sistemas de Computação da UFMS. Além disso, existe a participação de grupos já consolidados nas seguintes áreas Teoria de Computação, Sistemas de Informação e Processamento Geográfico. As instituições envolvidas são: DCT-UFMS, IC-UNICAMP, PUC-Rio, IME-USP, ICMC USP.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Integrante / Rodolfo Jardim de Azevedo - Integrante / Paulo César Centoducatte - Integrante / Nahri Moreano - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2005 - 2008
ChameLeon - Especialização de Arquiteturas para Sistemas Dedicados
Descrição: Projeto de algoritmos e hardware que possibilitem a especialização de arquiteturas e criação de arquiteturas reconfiguráveis. Número do processo: 55.2117/2002-1 Grupo: Sistemas de Computação Tipo do Projeto: Pesquisa Aplicada Tipo de Envolvimento: Projeto Institucional.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Integrante / Rodolfo Jardim de Azevedo - Coordenador / Paulo César Centoducatte - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 2
2001 - Atual
ArchC: Uma Linguagem de Descrição de Arquiteturas
Descrição: Desenvolvimento de uma Linguagem para Descricao de Arquiteturas baseada em SystemC.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Sandro Rigo - Coordenador / Guido Araújo - Integrante / Paulo Cesar Centoducatte - Integrante / Marcus Bartholomeu - Integrante / Thiago Massaroli Sigrist - Integrante / Marilia Chiozo - Integrante / Bruno Corsi - Integrante / Alexandro Baldassin - Integrante / Bruno de Carvalho Albertini - Integrante / Luis Felipe Strano Moraes - Integrante.Financiador(es): Universidade Federal de Pernambuco - Cooperação / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 9
2000 - 2004
Um Compilador Otimizante para Processadores Dedicados e Reconfiguráveis
Descrição: A crescente demanda por dispositivos portáteis, combinado com o aumento na disponibilidade de transistores, vem resultando em um aumento no interesse por arquiteturas especializadas em Computação. O objetivo central deste projeto é viabilizar um esforço de pesquisa, articulado através de uma plataforma de compilação comum, que sirva como base para realização de pesquisa pioneira em técnicas de compilação para arquiteturas dedicadas e reconfiguráveis. A experiência internacional (ex. projetos SPAM, SUIF e IMPACT) tem demonstrado que sem uma infra-estrutura sólida de compilação os resultados da pesquisa ficam restritos ao meio acadêmico. Estes resultados freqüentemente são ignorados pela indústria, quer seja por não terem sido validados em sua plenitude, através de {\it benchmarks} realistas, quer seja por não virem acompanhados de uma análise criteriosa de sua interação com outras otimizações. Assim sendo, o objetivo fundamental deste projeto é garantir que a infra-estrutura de compilação resultante seja extremamente estável, de modo a permitir uma base sólida sob a qual novos algoritmos possam ser pesquisados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (6) .
Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Guilherme Ottoni - Integrante / Rodolfo Jardim de Azevedo - Integrante / Marcus Bartholomeu - Integrante / Paulo César Centoducatte - Integrante / Ricardo Pannain - Integrante / Mário Lúcio Cortes - Integrante / Nahri Moreano - Integrante / Eduardo Wanderley - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Número de produções C, T & A: 3


Projetos de extensão


2006 - 2008
Interoperabilidade Open Source e a Plataforma Microsoft
Descrição: A Microsoft Brasil e a Unicamp ampliaram acordo para desenvolvimento de projetos de interoperabilidade entre plataforma Microsoft e de código-fonte aberto em laboratório de pesquisa próprio. Localizado no Instituto de Computação da Universidade Estadual de Campinas, interior de São Paulo, o laboratório ganha novos desenvolvedores e um gerente de projeto que juntos coordenarão os trabalhos com alunos bolsistas para realização de atividades de integração entre Windows Server 2003 e Linux. Valor: 64.000,00 financiados pela Microsoft Brasil.
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Sandro Rigo - Coordenador / Rodolfo Jardim de Azevedo - Integrante / Ricardo Anido - Integrante / Roberto Prado - Integrante / Fábio Cunha - Integrante / Raul Kist - Integrante / Bruno Melo - Integrante / Carolina Simões Gomes - Integrante / Denis Rosas - Integrante.Financiador(es): Microsoft Brasil Ltda. - Auxílio financeiro.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Compiladores e Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.


Idiomas


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


Prêmios e títulos


2017
Prêmio de Reconhecimento Docente Pela Dedicação ao Ensino de Graduação, Universidade Estadual de Campinas.
2016
Prêmio George Cox de Melhor Artigo Completo, Simpósio Brasileiro de Segurança de Computadores (SBSEG) 2016.
2012
Prêmio de Melhor Artigo, WSCAD-SSC 2012 - Workshop em Sistemas Computacionais de Alto Desempenho.
2010
Professor Homenageado, Formandos Engenharia de Computação - Turma 2005.
2005
2a. Olimpíada Universitária de Projeto de Hardware, Altera - Pi Componentes.
2004
Julio Salek Aude Award (Best Paper), 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'04).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
GARCIA, MAXIWELL2016GARCIA, MAXIWELL ; FRANCESQUINI, EMILIO ; AZEVEDO, Rodolfo ; Rigo, Sandro . HybridVerifier: A Cross-platform Verification Framework for Instruction Set Simulators. IEEE Embedded Systems Letters, v. 1, p. 1-1, 2016.

2.
PIGA, LEONARDO2014 PIGA, LEONARDO ; BERGAMASCHI, R. ; BRETERNITZ, M. ; RIGO, S. . Adaptive global power optimization for Web servers. Journal of Supercomputing, v. 1, p. 1-25, 2014.

3.
PIGA, LEONARDO2014PIGA, LEONARDO ; BERGAMASCHI, R. ; RIGO, S. . Empirical and analytical approaches for web server power modeling. Cluster Computing, v. 1, p. 1-15, 2014.

4.
BERGAMASCHI, REINALDO A.2012BERGAMASCHI, REINALDO A. ; PIGA, LEONARDO ; Rigo, Sandro ; AZEVEDO, Rodolfo ; ARAÚJO, Guido . Data center power and performance optimization through global selection of P-states and utilization rates. Sustainable Computing: Informatics and Systems, v. 2, p. 198-208, 2012.

5.
Albertini, Bruno2012 Albertini, Bruno ; Rigo, Sandro ; Araujo, Guido . Computational reflection and its application to platform verification. Design Automation For Embedded Systems (Dordrecht. Online), v. 16, p. 1-17, 2012.

6.
KRONBAUER, Fernando André2011KRONBAUER, Fernando André ; RIGO, S. . Assessing the influence of data access patterns and contention management policies on the performance of software transactional memory systems. International Journal of High Performance Systems Architecture (Print), v. 3, p. 110, 2011.

7.
BALDASSIN, Alexandro2008BALDASSIN, Alexandro ; CENTODUCATTE, Paulo Cesar ; RIGO, S. ; CASAROTTO, D. ; SANTOS, L. C. V. ; SCHULTZ, M. ; FURTADO, O. J. V. . An Open-Source Binary Utility Generator. ACM Transactions on Design Automation of Electronic Systems, v. 13, p. 27-27:15, 2008.

8.
AZEVEDO, Rodolfo Jardim de2005 AZEVEDO, Rodolfo Jardim de ; RIGO, S. ; BARTHOLOMEU, Marcus ; ARAÚJO, Guido ; ARAÚJO, Cristiano ; BARROS, Edna . The ArchC Architecture Description Language and Tools. International Journal of Parallel Programming, v. 33, n.5, p. 453-484, 2005.

9.
ARAÚJO, Cristiano2005ARAÚJO, Cristiano ; GOMES, Millena ; BARROS, Edna ; RIGO, S. ; AZEVEDO, Rodolfo ; ARAÚJO, Guido . Platform Designer: An Approach for Modeling Multiprocessor Platforms based on SystemC. Design Automation for Embedded Systems, v. 10, p. 253-283, 2005.

10.
RAJAGOPALAN, S.2001RAJAGOPALAN, S. ; RAJAN, S. P. ; MALIK, S. ; RIGO, S. ; ARAÚJO, Guido ; TAKAYAMA, K. . A Retargetable Compiler Framework for DSPs With Instruction-Level Paralelism. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, v. 20, n.11, p. 1319-1328, 2001.

Livros publicados/organizados ou edições
1.
RIGO, S.; AZEVEDO, Rodolfo ; SANTOS, L. C. V. . Electronic System Level Design: An Open-Source Approach. 1. ed. Nova York: Springer, 2011. v. 1. 155p .

Capítulos de livros publicados
1.
ARAÚJO, Guido ; RIGO, S. ; AZEVEDO, Rodolfo . Processor Design with ArchC. In: Prabhat Mishra; Nikil Dutt. (Org.). Processor Description Languages. 1ed.San Francisco: Morgan Kaufmann, 2008, v. 1, p. 275-294.

2.
AZEVEDO, Rodolfo Jardim de ; RIGO, S. ; ARAÚJO, Guido . Projeto e Desenvolvimento de Sistemas Embarcados Multiprocessados. In: Karin Breitman; Ricardo Anido. (Org.). Atualizações em Informática. Rio de Janeiro: Editora PUC-Rio, 2006, v. , p. 331-386.

Trabalhos completos publicados em anais de congressos
1.
MANOUSAKIS, IOANNIS ; GOIRI, ÍÑIGO ; BIANCHINI, RICARDO ; Rigo, Sandro ; NGUYEN, THU D. . Uncertainty Propagation in Data Processing Systems. In: the ACM Symposium, 2018, Carlsbad. Proceedings of the ACM Symposium on Cloud Computing - SoCC '18. New York: ACM Press, 2018. p. 95.

2.
QIN, Y. ; RODERO, I. ; SUBEDI, P. ; PARACHAR, M. ; RIGO, S. . Exploring Power Budget Scheduling Opportunities and Trade-offs for AMR-based Applications. In: International Symposium on Computer Architecture and High Performance Computing, 2018, Lion. Proceedings of the International Symposium on Computer Architecture and High Performance Computing. NY: IEEE, 2018.

3.
MOREIRA, J. B. C. G. ; RIGO, S. . Go With the FLOW: Fine-Grained Control-Flow Integrity for the Kernel. In: Simpósio Brasileiro de Segurança de Computadores, 2016, Niterói-RJ. SBSeg 2016 - Artigos completos, 2016.

4.
MOREIRA, J. B. C. G. ; TEIXEIRA, L. ; BORIN, E. ; RIGO, S. . Leveraging Optimization Methods for Dynamically Assisted Control-Flow Integrity Mechanisms. In: 26th International Symposium on Computer Architecture and High Performance Computing, 2014, Paris. 26th International Symposium on Computer Architecture and High Performance Computing, 2014. p. 1-6.

5.
PIGA, LEONARDO ; GOMES, G. ; AULER, R. ; ROSA, B. ; RIGO, S. ; BORIN, E. . Assessing Computer Performance with SToCS. In: 4th ACM/SPEC International Conference on Performance Engineering, 2013, Praga. Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering, 2013. p. 1-4.

6.
LUCAS, D. C. ; AULER, R. ; DALIBERA, R. ; RIGO, S. ; BORIN, E. ; Araujo, Guido . Modeling Virtual Machines Misprediction Overhead. In: IEEE International Symposium on Workload Characterization, 2013, Portland. Proceedings of the 2013 IEEE International Symposium on Workload Characterization, 2013. p. 1-6.

7.
MOREIRA, J. B. C. G. ; LUCAS, D. C. ; Araujo, Guido ; BORIN, E. ; RIGO, S. . Asynchronous Program Flow Verification Through Binary Instrumentation on QEMU. In: 5th Workshop on Architectural and Microarchitectural Support for Binary Translation, 2012, Portland. Proceedings of the 5th Workshop on Architectural and Microarchitectural Support for Binary Translation,, 2012. p. 1-8.

8.
ZINSLY, R. ; RIGO, S. ; BORIN, E. . Compressing Variable-Length Instruction Traces. In: XIII Simpósio em Sistemas Computacionais (WSCAD-SSC'12), 2012, Petrópolis. Anais do XIII Simpósio em Sistemas Computacionais (WSCAD-SSC'12), 2012. p. 1-8.

9.
GARCIA, M. S. ; AZEVEDO, Rodolfo ; RIGO, S. . Optimizing Simulation in Multiprocessor Platforms using Dynamic-Compiled Simulation. In: XIII Simpósio em Sistemas Computacionais (WSCAD-SSC'12), 2012, Petrópolis. Anais do XIII Simpósio em Sistemas Computacionais (WSCAD-SSC'12), 2012. p. 1-8.

10.
ALENCAR, R. ; RIGO, S. ; AZEVEDO, Rodolfo . Software Co-Verification Based on Program Traces from Different Processors. In: 3rd Workshop on Infrastructures for Software/Hardware Co-design, 2011, Chamonix. Proceedings of the 3rd Workshop on Infrastructures for Software/Hardware co-design (WISH), 2011. p. 1-6.

11.
ATTROT, W. ; NICACIO, D. ; BORIN, E. ; RIGO, S. ; ARAÚJO, Guido . Live Range Hole Allocation in Dynamic Binary Translation. In: 4th Workshop on Architectural and Microarchitectural Support for Binary Translation, 2011, San Jose, USA. Proceedings of the 4th Workshop on Architectural and Microarchitectural Support for Binary Translation, 2011. p. 1-6.

12.
MOREIRA, J. B. C. G. ; KLEIN, F. ; BALDASSIN, Alexandro ; CENTODUCATTE, Paulo Cesar ; AZEVEDO, Rodolfo ; RIGO, S. . Using Multiple Abstraction Levels to Speedup an MPSoC Virtual Platform Simulator. In: IEEE International Symposium on Rapid System Prototyping - RSP, 2011, Karlsruhe. IEEE International Symposium on Rapid System Prototyping - RSP, 2011. p. 1-6.

13.
Leonardo Piga ; BERGAMASCHI, R. ; AZEVEDO, Rodolfo ; ARAÚJO, Guido ; RIGO, S. . Modeling, Simulation and Optimization of Power and Performance of Data Centers. In: Workshop on Modeling, Benchmarking and Simulation - MoBS, 2011, San Jose, USA. Workshop on Modeling, Benchmarking and Simulation - MoBS, 2011. p. 1-6.

14.
Leonardo Piga ; BERGAMASCHI, R. ; KLEIN, F. ; AZEVEDO, Rodolfo ; RIGO, S. . Empirical Web Server Power Modeling and Characterization. In: 2011 IEEE International Symposium on Workload Characterization, 2011, Austin, Texas. Proceedings of the IEEE International Symposium on Workload Characterization, 2011. p. 1-4.

15.
GARCIA, M. S. ; AZEVEDO, Rodolfo ; RIGO, S. . Optimizing a Retargetable Compiled Simulator to Achieve Near-Native Performance. In: XI Simpósio de Sistemas Computacionais - WSCAD-SSC,, 2010, Petrópolis,RJ. Anais do XI Simpósio de Sistemas Computacionais - WSCAD-SSC, 2010. p. 1-8.

16.
ALBERTINI, Bruno de Carvalho ; AZEVEDO, Rodolfo ; RIGO, S. . ARP: Um Gerenciador de Pacotes para Sistemas Embarcados com Processadores Modelados em ArchC. In: I Workshop de Sistemas Embarcados, 2010, Gramado. Anais do I Workshop de Sistemas Embarcados, 2010.

17.
KIST, R. ; BAGGIO, H. ; RIGO, S. . ViCOS ? Virtual Cluster Orchestration System. In: Conferencia Latino Americana de Computación de Alto Rendimiento, 2010, Gramado. Conferencia Latino Americana de Computación de Alto Rendimiento, 2010. p. 1-6.

18.
KLEIN, F. ; BALDASSIN, Alexandro ; MOREIRA, J. B. C. G. ; CENTODUCATTE, Paulo César ; RIGO, S. ; AZEVEDO, Rodolfo . STM versus Lock-based Systems: an Energy Consumption Perspective. In: 16th ACM/IEEE International Symposium on Low Power Electronics and Design, 2010, Austin. Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design, 2010, 2010. p. 1-6.

19.
Leonardo Piga ; RIGO, S. . Comparing RTL and High-Level Synthesis Methodologies in the Design of a Theora Video Decoder IP Core. In: V IEEE Southern Programmable Logic Conference, 2009, São Carlos, Brazil. Proceedings of the V Southern Programmable Logic Conference, 2009.

20.
MARCILIO, G. ; SANTOS, L. C. V. ; ALBERTINI, Bruno de Carvalho ; RIGO, S. . A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors. In: 46th ACM/IEEE Design Automation Conference, 2009, San Francisco. Proceedings of the 46th ACM/IEEE Design Automation Conference, 2009. p. 448-453.

21.
WUERGES, E. ; SANTOS, L. C. V. ; FURTADO, O. J. V. ; RIGO, S. . An Early Real-Time Checker for Retargetable Compile-Time Analysis. In: 22nd Symposium on Integrated Circuits and Systemsd Design, 2009, Natal. Proceedings of the SBCCI 2009, 2009.

22.
KRONBAUER, Fernando ; RIGO, S. . Experimentos com Gerenciamento de Contenção em uma Memória Transacional com Suporte em Software. In: X Simpósio em Sistemas Computacionais WSCAD-SSC, 2009, São Paulo. Anais do X Simpósio em Sistemas Computacionais WSCAD-SSC, 2009.

23.
BALDASSIN, Alexandro ; CENTODUCATTE, Paulo César ; RIGO, S. ; CASAROTTO, D. ; SANTOS, L. C. V. ; SCHULTZ, M. ; FURTADO, O. J. V. . Automatic Retargeting of Binary Utilities for Embedded Code Generation. In: IEEE Annual Symposium on VLSI, 2007, Porto Alegre. Proceedings of the IEEE Annual Symposium on VLSI (ISVLSI), 2007. p. 253-258.

24.
KRONBAUER, Fernando ; BALDASSIN, Alexandro ; ALBERTINI, Bruno de Carvalho ; CENTODUCATTE, Paulo César ; RIGO, S. ; ARAÚJO, Guido ; AZEVEDO, Rodolfo . A Flexible Platform Framework for Rapid Transactional Memory Systems Prototyping and Evaluation. In: 18th IEEE/IFIP International Workshop on Rapid Systems Prototyping, 2007, Porto Alegre. Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping, 2007. p. 123-129.

25.
COSTA, Richard Maciel ; ALBERTINI, Bruno de Carvalho ; RIGO, S. ; AZEVEDO, Rodolfo ; ARAÚJO, Guido . A Methodology and Toolset to Enable SystemC and VHDL Co-simulation. In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2007, 2007, Porto Alegre. Proceedings of the IEEE Annual Symposium on VLSI (ISVLSI), 2007. p. 351-356.

26.
ALBERTINI, Bruno de Carvalho ; RIGO, S. ; ARAÚJO, Guido ; ARAÚJO, Cristiano ; BARROS, Edna ; AZEVEDO, W. . A Computational Reflection Mechanism to Support Platform Debugging in SystemC. In: International Conference on Hardware - Software Codesign and System Synthesis (CODES+ISSS), 2007, Salzburg. Proceedings of the International Conference on Hardware - Software Codesign and System Synthesis (CODES+ISSS), 2007. p. 81-86.

27.
RIGO, S.; AZEVEDO, Rodolfo Jardim de ; CENTODUCATTE, Paulo César ; ARAÚJO, Guido . Uma Nova Abordagem para um Curso de Projeto de Sistemas Computacionais. In: Workshop sobre Educação em Arquitetura de Computadores (WEAC) - Em conjunto com o 18th International Symposium on Computer Architecture and High Performance Computing, 2006, Ouro Preto, 2006.

28.
BALDASSIN, Alexandro ; CENTODUCATTE, Paulo Cesar ; RIGO, S. . Extending the ArchC Language for Automatic Generation of Assemblers. In: 17th International Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. Proceedings of the 17th International Symposium on Computer Architecture and High Performance Computing, 2005.

29.
SILVA, P. V. ; BARROS, Edna ; RIGO, S. ; ARAÚJO, Guido ; AZEVEDO, Rodolfo Jardim de . Modeling and Simulationg Memory Hierarchies in a Platform-Based Design Methodology. In: Design, Automation & Test in Europe (DATE), 2004, Paris. Proceedings of the Design, Automation and Test in Europe Conference, 2004. v. I.

30.
RIGO, S.; JULIATO, Marcio ; AZEVEDO, Rodolfo Jardim de ; ARAÚJO, Guido ; CENTODUCATTE, Paulo Cesar . Teaching Computer Architecture Using an Architecture Description Language. In: Workshop on Computer Architecture Education - In Conjunction with the 31st International Symposium on Computer Architecture, 2004, Munique. Proceedings of the Workshop on Computer Architecture Education, 2004.

31.
RIGO, S.; ARAÚJO, Guido ; BARTHOLOMEU, Marcus ; AZEVEDO, Rodolfo Jardim de . ArchC: A SystemC-Based Architecture Description Language. In: 16th Symposium on Computer Architecture and High Performance Computing (SBAC'04), 2004, Foz do Iguaçu. Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC'04), 2004.

32.
BARTHOLOMEU, Marcus ; AZEVEDO, Rodolfo Jardim de ; RIGO, S. ; ARAÚJO, Guido . Optimizations for Compiled Simulation Using Instruction Type Information. In: 16th Symposium on Computer Architecture and High Performance Computing (SBAC'04), 2004, Foz do Iguaçu. Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC'04), 2004.

33.
SILVA, P. V. ; BARROS, Edna ; RIGO, S. ; ARAÚJO, Guido ; AZEVEDO, Rodolfo Jardim de . Exploring Memory Hierarchy using ArchC. In: The 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2003, São Paulo. 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003.

34.
RAJAGOPALAN, S. ; MALIK, S. ; RAJAN, S. P. ; RIGO, S. ; ARAÚJO, Guido . Modifing a VLIW Compiler Framework to Implement an Optimizing Compiler for a Fixed Point DSP. In: 5th International Workshop on Software and Compilers for Embedded Systems(SCOPES 2001, 2001. Proceedings of the 5th International Workshop on Software and Compilers for Embedded Systems(SCOPES 2001), 2001.

35.
OTTONI, G. ; RIGO, S. ; ARAÚJO, Guido ; RAJAGOPALAN, S. ; MALIK, S. . Optimal Live Range Merge for Address Register Allocation in Embedded Programs. In: International Conference on Compiler Construction (CC), 2001, Genova. Lecture Notes in Computer Science, 2001. v. 2027. p. 274-288.

Outras produções bibliográficas
1.
Leonardo Piga ; BERGAMASCHI, R. ; AZEVEDO, Rodolfo ; RIGO, S. . Power Measuring Infrastructure for Computing Systems 2011 (Relatório Técnico IC-11-09).


Produção técnica
Assessoria e consultoria
1.
RIGO, S.. Avaliação de projetos FAPEG - Programa FAPEG para avaliação de projetos no programa PAPPE INTEGRAÇÃO FAPEG/FINEP. 2011.

2.
RIGO, S.. Assessoria ad hoc: CNPq. 2009.

3.
RIGO, S.. Assessoria: Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.

Programas de computador sem registro
1.
RIGO, S.; ARAÚJO, Guido ; BARTHOLOMEU, Marcus ; AZEVEDO, Rodolfo Jardim de . The ArchC Pre-processor and Simulator Generator. 2004.

Trabalhos técnicos

Demais tipos de produção técnica
1.
RIGO, S.. Elsevier Journal of Computers and Electrical Engineering. 2013. (Revisão de artigo).

2.
RIGO, S.. Elsevier Journal of Systems Architecture. 2013. (Revisão de artigo).

3.
RIGO, S.. ACM Transactions on Design Automation of Embedded Systems. 2012. (Revisão de artigo).

4.
RIGO, S.. International Symposium on Code Generation and Optimization 2012. 2011. (Revisão de artigo).

5.
RIGO, S.. Elsevier Journal of Systems Architecture. 2011. (Revisão de artigo).

6.
RIGO, S.. The 2010 International Conference on High Performance Computing & Simulation. 2010. (Revisão de artigo).

7.
RIGO, S.. Membro do Comitê de Programa do 12º Simpósio Brasileiro de Linguagem de Programação. 2008. (Revisão de artigo).

8.
RIGO, S.; CENTODUCATTE, Paulo Cesar ; BALDASSIN, Alexandro . Memórias Transacionais: Uma Nova Alternativa para a Programação Concorrente. 2007. (Curso de curta duração ministrado/Outra).

9.
RIGO, S.. Membro do Comitê de Programa do 11º Simpósio Brasileiro de Linguagem de Programação. 2007. (Revisão de artigo).

10.
RIGO, S.. Avaliação de resumos submetidos ao 7o. workshop do North America SystemC Users Group. 2007. (Revisão de Resumos de Apresentação).

11.
RIGO, S.. Introdução ao System-Level Design. 2006. (Curso de curta duração ministrado/Outra).

12.
RIGO, S.. Membro do Comitê de Programa do 10º Simpósio Brasileiro de Linguagem de Programação. 2006. (Revisão de artigo).

13.
RIGO, S.. Avaliação de resumos submetidos ao 6o. workshop do North America SystemC Users Group. 2006. (Revisão de Resumos de Apresentação).

14.
RIGO, S.; AZEVEDO, Rodolfo Jardim de ; ARAÚJO, Guido ; CENTODUCATTE, Paulo César . Construção de Modelos de Processadores Usando uma Linguagem de Descrição de Arquiteturas. 2005. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BORIN, E.; RIGO, S.; MENOTTI, R.. Participação em banca de Jeferson Rech Brunetta. PROST: Um Arcabouço para o Desenvolvimento de Dispositivos Programáveis para a IoT. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
ARAÚJO, Guido; PEREIRA, F. M. Q.; RIGO, S.. Participação em banca de Rafael Cardoso Fernandes Sousa. Data Coherence Analysis and Optimization. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

3.
BORIN, E.; RIGO, S.; BALDASSIN, Alexandro. Participação em banca de Mario Mikio Hato. Análise de Desempenho e Otimização dos Simuladores ArchC. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

4.
AZEVEDO, Rodolfo; ALBERTINI, Bruno de Carvalho; RIGO, S.. Participação em banca de Tiago Rezende Campos Falcão. Concurrent SystemC TLM-2 Simulations. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

5.
GEUS, P. L.; RIGO, S.; MAZIERO, C. A.. Participação em banca de Marcus Felipe Botacin. Hardware-Assisted Malware Analysis. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
PEREIRA, F. M. Q.; RIGO, S.; FERREIRA, K. A. M.. Participação em banca de VICTOR HUGO SPERLE CAMPOS. Restrictification of function arguments. 2016 - Universidade Federal de Minas Gerais.

7.
RIGO, S.; CALAZANS, N.; MARCON, C.; MORAES, F.. Participação em banca de William Schneider. Avaliação Sistemática de Redes Intrachip. 2014. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

8.
BORIN, E.; RIGO, S.; SILVA, A. F.. Participação em banca de Gabriel Ferreira Teles Gomes. Indirect Branch Emulation Techniques in Virtual Machines. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

9.
AZEVEDO, Rodolfo; RIGO, S.; PEREIRA, F. M. Q.. Participação em banca de Leonardo Augusto Guimarães Garcia. Análise e estudo de desempenho e consumo de energia de Memórias Transacionais em Software. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

10.
ARAÚJO, Guido; RIGO, S.; PEREIRA, F. M. Q.. Participação em banca de Divino César Lucas. Modeling the Performance Impact of Hot Code Misprediction in Cross-ISA Virtual Machines. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

11.
CENTODUCATTE, Paulo Cesar; AZEVEDO, Rodolfo; GUILHERMINO FILHO, Abel; RIGO, S.. Participação em banca de Henrique Dante de Almeida. Implementação de Cache no Projeto ArchC. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

12.
SANTOS, L. C. V.; RIGO, S.; FURTADO, O. J. V.; LETTNIN, D. V.. Participação em banca de Leandro da Silva Freitas. Aceleradores e Multiprocessadores em Chip: O impacto da execução fora de ordem na verificação de funcionalidade e consistência. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

13.
AZEVEDO, Rodolfo; KOFUJI, S. T.; RIGO, S.. Participação em banca de Francisco Rafael Lorenzo Hoyos. Um Modelo de Execução Java no Processador CELL BE. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

14.
ARAÚJO, Guido; ARAÚJO, Cristiano; RIGO, S.. Participação em banca de Maxwell Monteiro Andrade de Souza. ISAMAP: Tradução Binária Dinâmica Orientada a Mapeamento de Instruções. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

15.
RIGO, S.; HEXSEL, Roberto. Participação em banca de Giancarlo Covolo Heck. Investigação de Técnicas de Cache de Dados para Sistemas Embarcados. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

16.
SANTOS, L. C. V.; RIGO, S.; Wagner, F. R.; MONTEZ, C. B.. Participação em banca de Gabriel Macion Marcílio. Verificação Funcional Pós-Particionamento em Sistemas Integrados de Hardware e Software. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

17.
FURTADO, O. J. V.; RIGO, S.; SANTOS, L. C. V.; OLIVEIRA, R. S.. Participação em banca de Emílio Wuerges. Um Analisador de Restrições de Tempo Real para Compiladores Redirecionáveis Automaticamente. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

18.
RIGO, S.; CHAU, W. J.; KOFUJI, S. T.. Participação em banca de Frederico de Faria. Uma metodologia analítico-determinística para a avaliação de desempenho no tempo de processadores de rede implementados como sistemas-sobre-silício. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

19.
RIGO, S.; MULLER JUNIOR, Bruno; HEXSEL, Roberto. Participação em banca de Andréia Aparecida Barbiero. Ambiente de Suporte ao Projeto de Sistemas Embarcado. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

20.
RIGO, S.; AZEVEDO, Rodolfo Jardim de; BRANQUINHO, Omar Carvalho. Participação em banca de Sandro Cesca Dangui. Modelagem e Simulação de Barramentos com SystemC. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

21.
CENTODUCATTE, Paulo César; RIGO, S.; FREITAS, Ricardo Luís de; AZEVEDO, Rodolfo Jardim de. Participação em banca de Cristiano Lino Felício. Representações Intermediárias e Geração de Códigos no Compilador Redirecionável Xingo. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

22.
AZEVEDO, Rodolfo Jardim de; RICARTE, Ivan Luiz Marques; RIGO, S.. Participação em banca de Francisco Blasi Junior. Otimização em Loops no Projeto Xingó. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Teses de doutorado
1.
MORAES, F.; RIGO, S.; MARCON, C. A. M.; GARIBOTTI, R. F.. Participação em banca de Guilherme Afonso Madalozzo. Adequação para Modelos Arquiteturais para Aplicações Tempo-Real em Sistemas Many-core. 2017. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

2.
ARAÚJO, Guido; RIGO, S.; BALDASSIN, Alexandro; PEREIRA, M. M.; PEREIRA, F. M. Q.. Participação em banca de Divino César Lucas. The Batched DOACROSS Algorithm. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

3.
ARAÚJO, Guido; RIGO, S.; BALDASSIN, Alexandro; CASTRO, M. B.; FRANCESQUINI, E.. Participação em banca de Juan Jesús Salamanca Guillén. Thread Level Speculation on Hardware Transactional Memory Architectures. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

4.
BORIN, E.; RIGO, S.; NAVAUX, P. O. A.; AZEVEDO, Rodolfo; PEREIRA, F. M. Q.. Participação em banca de Rafael Auler. OpenISA, a hybrid ISA. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

5.
ARAÚJO, Guido; RIGO, S.; BOIS, A. R.; BALDASSIN, Alexandro. Participação em banca de Marcio Machado Pereira. Scheduling Techniques for Transactional Memories. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
SANTOS, L. C. V.; RIGO, S.; Wagner, F. R.. Participação em banca de Emílio Wuerges. WCET-aware Prefetching of Unlocked Instruction Cache: a Technique for Reconciling Real-time Guarantees and Energy Efficiency. 2015. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

7.
ARAÚJO, Guido; BUZATO, L. E.; KON, F.; RIGO, S.; MAILLARD, N. B.. Participação em banca de Daniel Henricus de Knegt Dutra Nicácio. LUTS: A Light-Weight User-Level Transaction Scheduler. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

8.
DAHAB, R.; CUSTODIO, R. F.; NASCIMENTO, A. C. A.; HENRIQUES, M. A. A.; RIGO, S.. Participação em banca de Roberto Alves Gallo Junior. Um Framework para Desenvolvimento e Implementação de Sistemas Seguros Baseados em Hardware. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

9.
Ierusalimschy, R.; RIGO, S.; RODRIGUES, N.. Participação em banca de Fábio Mascarenhas de Queiróz. Optimized Compilation of a Dynamic Language to a Managed Runtime Environment. 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

10.
AZEVEDO, Rodolfo; RIGO, S.; SANTOS, L. C. V.; BERGAMASCHI, R.; CARRO, L.. Participação em banca de Felipe Vieira Klein. Técnicas Avançadas de Modelagem, Análise e Otimização de Potência em Sistemas Digitais. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

11.
ARAÚJO, Guido; ARAÚJO, Cristiano; SANTOS, L. C. V.; RIGO, S.; AZEVEDO, Rodolfo. Participação em banca de Wesley Attrot. Otimizações para Acesso à Memória em Tradução Binária Dinâmica. 2008. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

12.
MEDEIROS, C. M. B.; SILVA, A. S.; LOUREIRO, A. A. F.; MADEIRA, Edmundo; RIGO, S.. Participação em banca de Gilberto Zonta Pastorello Junior. Gerenciamento do Ciclo de Vida de Dados de Sensores: da Produção ao Consumo. 2008. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
RIGO, S.; GEUS, P. L.; NASCIMENTO, A. C. A.. Participação em banca de Amanda Cristina Davi Resende. Protocolos para Computação Privativa Baseados em Intersecção Privada de Conjuntos (PSI). 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

2.
RIGO, S.; WANNER, L. F.; BALDASSIN, Alexandro. Participação em banca de Priscila Aparecida de Moraes Ioris. Automatic Generation of Processors using an Architecture Description Language (ADL). 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

3.
RIGO, S.; LOTUFO, R.; MADEIRA, Edmundo. Participação em banca de Fabíola Martins Campos de Oliveira. Distributed inference of Deep Neural Networks on Internet-of-Things devices. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

4.
SANTOS, L. C. V.; RIGO, S.; ZEFERINO, C. A.. Participação em banca de Luís Fernando Arcaro. Time-Randomized Hardware Elements for Increasing the Applicability of Measurement-Based Probabilistic Timing Analysis. 2017. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

5.
RIGO, S.; BALDASSIN, Alexandro; FRANCESQUINI, E.. Participação em banca de Divino César Lucas. Automatic Loop Parallelization for Multicore. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

6.
RIGO, S.; PEREIRA, F. M. Q.; ARANHA, D.. Participação em banca de Rafael Auler. The Design of OpenISA, an Emulation Friendly ISA. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

7.
RIGO, S.; FURTADO, O. J. V.; Wagner, F. R.; MONTEZ, C. B.. Participação em banca de Emilio Wuerges. Técnicas de Compilação para Eficiência Energética e Garantias de Tempo Real. 2012. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

8.
RIGO, S.; GEUS, P. L.; CUSTODIO, R. F.; HENRIQUES, M. A. A.; OLIVEIRA, J. R.. Participação em banca de Roberto Alves Gallo Filho. Um Framework para Desenvolvimento e Implementação de Sistemas Seguros Baseados em Hardware. 2011. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

9.
ARAÚJO, Guido; AZEVEDO, Rodolfo; BIGONHA, R. S.; RIGO, S.. Participação em banca de Wesley Attrot. Hole Allocation. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

10.
AZEVEDO, Rodolfo; CENTODUCATTE, Paulo César; RIGO, S.; SONG, S.. Participação em banca de Alexandro Baldassin. Suporte Arquitetural para Memória Transacional. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
AZEVEDO, Rodolfo; BORIN, E.; RIGO, S.. Participação em banca de Rafael Mendonça Soares. Análise e detecção de fases entre múltiplos programas. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.

2.
WANNER, L. F.; RIGO, S.; AZEVEDO, Rodolfo. Participação em banca de Isaías Bittencourt Felzmann. Uma Ferramenta para Modelagem e Simulação de Computação Aproximada em Hardware. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.

3.
ARAÚJO, Guido; AZEVEDO, Rodolfo; RIGO, S.. Participação em banca de Martin Ichilevici de Oliveira. Memory Allocation and Balancing Techniques for NUMA Machines. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Concurso público
1.
RIGO, S.; PELEGRINI, J.; PARDO, T.. Concurso Público para a área de Compiladores e Paradigmas de Programação. 2014. Universidade Federal do ABC.

2.
DANTAS, M.; PACHECO, L. H. M.; BATISTA, E. L. O.; JOHANN, M. O.; RIGO, S.. Concurso Público para Provimento de Cargo de Professor do Ensino Superior - UFSC. 2011. Universidade Federal de Santa Catarina.

3.
JINO, M.; RIGO, S.; BAIOCO, G. B.; CAMOLESI JUNIOR, L.; CARVALHO, M. A. G.. Concurso para Professor Doutor nível MS-3 no Centro Superior de Educação Tecnológica. 2008. Universidade Estadual de Campinas.

4.
RICARTE, Ivan Luiz Marques; RIGO, S.; TORRES, R.; BORGES, M. A. F.; TIMOTEO, V. S.. Concurso Público para Professor Doutor, Nível MS3 do CESET- UNICAMP. 2008.

Outras participações
1.
RIGO, S.; SILVA, A. E. A.; GRADVOHL, A. L. S.; ZAMBON, A. C.; SILVA, C. G.; URSIN, E. L.. Banca de promoção por mérito docente na Faculdade de Tecnologia. 2014. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Design Automation Conference (DAC). Using Computational Reflection to Support Debugging of ESL Models in SystemC. 2008. (Congresso).

2.
19th International Symposium on Computer Architecture and High Performance Computing. 2007. (Congresso).

3.
International Conference on Hardware-Software Codesign and System Synthesis. A Computational Reflection Mechanism to Support Platform Debugging in SystemC. 2007. (Congresso).

4.
VIII Workshop em Sistemas Computacionais VIII Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD). Memórias Transacionais: Uma Nova Alternativa para Programação Concorrente. 2007. (Congresso).

5.
17th International Symposium on Computer Architecture and High Performance Computing. 2005. (Congresso).

6.
18th Symposium on Integrated Circuits and Systems Design. 2005. (Simpósio).

7.
VI Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD). Construção de Modelos de Processadores Usando uma Linguagem de Descrição de Arquiteturas. 2005. (Congresso).

8.
Design, Automation & Test in Europe. Design, Automation & Test in Europe 2004. 2004. (Congresso).

9.
16th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEM DESIGN (SBCCI 2003). 2003. (Congresso).

10.
XIV SEMAC - Semana da Computação.XIV SEMAC - Semana da Computação - Mini-curso: ArchC: Uma Linguagem de Descrição de Arquiteturas. 2003. (Outra).

11.
SBCCI 2002 -15th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEM DESIGN. 2002. (Simpósio).

12.
The European Joint Conferences on Theory and Practice of Software (ETAPS). International Conference on Compiler Construction. 2001. (Congresso).

13.
13th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEM DESIGN (SBCCI). 2000. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
RIGO, S.. International Symposium on Computer Architecture and High Performance Computing. 2017. (Congresso).

2.
AZEVEDO, Rodolfo ; BORIN, E. ; RIGO, S. ; SENGER, H. . III Escola Reginal de Alto Desempenho (ERAD-SP). 2012. (Congresso).

3.
RIGO, S.; AZEVEDO, Rodolfo ; ARAÚJO, Guido . II Latin American SystemC Users Group Meeting. 2008. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Pedro Terra Delboni. Improving Shadow Stack Performance Through the Inlining Optimization. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Alex Lucchesi de Oliveira. Análise Estática para Detectar No-sleep Bugs. Início: 2016. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Estadual de Campinas, Samsung Brasil. (Coorientador).

Tese de doutorado
1.
Maxiwell Salvador Garcia. Metodologias para Simulações Arquiteturais Rápidas Utilizando a ADL ArchC. Início: 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Andre Chastel de Lima. Metodologias de Introspecção em Projeto em Nível de Sistema. Início: 2010. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

3.
Cristianno Martins Vieira. Otimizações para Extração Automática de Paralelismo Baseadas na Técnica Decoupled Software Pipeline. Início: 2010. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

Iniciação científica
1.
Rafael Pimenta. Soluções OpenStack na Plataforma OpenPOWER. Início: 2017 - Universidade Estadual de Campinas, IBM Brasil. (Orientador).

2.
Igor Torrente. Soluções OpenStack na Plataforma OpenPOWER. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, IBM Brasil. (Orientador).

3.
Nathalya Harumi. Soluções OpenStack no Contexto da Plataforma OpenPower. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, IBM Brasil. (Orientador).

4.
Guilherme Tiaki. Soluções OpenStack na Plataforma OpenPOWER. Início: 2016. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, IBM Brasil. (Orientador).

5.
Caio Salvador. Detecção de Erros de Energia em Aplicativos Móveis. Início: 2015. Iniciação científica (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Samsung Brasil. (Orientador).

6.
Luís Fernando Silva. Detecção de Erros de Energia em Aplicativos Móveis. Início: 2015. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Samsung Brasil. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Rogério Alves Cardoso. Geração e Síntese em Hardware de Modelos de Processadores SPARC V8 Utilizando ArchC. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Sandro Rigo.

2.
Raphael Moreira Zinsly. Formação de Regiões e Otimizações Dinâmicas para Projetos de Máquinas Virtuais Eficientes. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sandro Rigo.

3.
Maxiwell Salvador Garcia. Um Simulador Compilado Dinâmico para ArchC. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

4.
Flávia de Oliveira Santos. MediaBox: Uma Plataforma Baseada em Nocs para Aplicações Multimídia. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Sandro Rigo.

5.
Cristianno Martins. Paralelização Automática de Laços para Arquiteturas Multicore. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

6.
João Batista Corrêa Gomes Moreira. Análise de Consumo de Energia em STMs e uma Plataforma de Simulação Multiprocessada com Abstração Híbrida. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

7.
Rodrigo Richard Cantos Faveri. Viabilizando a Simulação Multithreaded para Modelos Escritos em SystemC. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

8.
Fernando André Kronbauer. Memórias Transacionais: Prototipagem e Simulação de Implementações em Hardware e uma Caracterização para o Problema de Gerenciamento de Contenção em Software. 2009. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

9.
Bruno de Carvalho Albertini. Um Framework para Desenvolvimento de Plataformas e uma Metodologia de Depuração Baseada em Reflexão Computacional para SystemC. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

10.
Richard Maciel Costa. Uma Ferramenta para Auxílio na Co-simulação usando VHDL e SystemC. 2005. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

Tese de doutorado
1.
João Batista Corrêa Gomes Moreira. Protection Mechanisms Against Control-Flow Hijacking Attacks. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

2.
Leonardo de Paula Rosa Piga. Modelagem, Caracterização e Otimização de Potência em Centros de Dados. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

3.
Bruno de Carvalho Albertini. Metodologias de Suporte a Verificação e Análise de Modelos de Plataformas em Alto Nível de Abstração. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

Trabalho de conclusão de curso de graduação
1.
Leonardo Ramos de Souza. Desenvolvimento de uma Plataforma de Prototipação de Celulares em System C. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Estadual de Campinas. Orientador: Sandro Rigo.

Iniciação científica
1.
Luan Egidio Ferreira. Arquiteturas Modulares para Celulares. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Motorola Brasil. Orientador: Sandro Rigo.

2.
Diogo Shiraishi. Arquiteturas Modulares em Celulares. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Motorola Brasil. Orientador: Sandro Rigo.

3.
Felipe Augusto de Castro e Silva. Exploração de Paralelismo em Hardware e Software. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sandro Rigo.

4.
ISADORA SOPHIA GARCIA RODOPOULOS. WebLectures. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

5.
José Ernesto Stelzer Monar. WebLectures. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

6.
Lucas Tadeu Teixeira. Aplicação de Técnicas de Tradução Dinâmica de Binários em Problemas de Segurança. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, IBM Brasil. Orientador: Sandro Rigo.

7.
Felipe Augusto de Castro e Silva. WebLectures. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

8.
Tiago Barros. Técnicas para Estimativa de Consumo de Energia em Dispositivos Móveis Baseados em Arquitetura ARM. 2013. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Samsung Brasil. Orientador: Sandro Rigo.

9.
Thiago Favero. Técnicas para Estimativa de Consumo de Energia em Dispositivos Móveis. 2012. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas. Orientador: Sandro Rigo.

10.
Gabriel Hidasy. Consumo de Energia em Dispositos Móveis Baseados em Processadores ARM. 2012. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas. Orientador: Sandro Rigo.

11.
Miguel Faggioni. Desenvolvimento de Aplicações Interoperáveis para Computação em Nuvem. 2012. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

12.
Nicholas Mizoguchi. Interoperabilidade em Clusters de Computadores. 2011. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

13.
Rafael Bruno Dalibera. Metodologia de Avaliação de Desempenho em Máquinas Virtuais. 2011. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

14.
Henrique Baggio. Estudos de Virtualização. 2010. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

15.
Raul Kist. Interoperabilidade em Clusters de Computadores. 2010. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

16.
Rodrigo R. S.C. Chiossi. Análise e Melhorias de Desempenho em Mecanismos de Memórias Transacionais em Software. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

17.
Bruno Melo. Interoperabilidade em Clusters de Computadores. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

18.
Leonardo de Paula Rosa Piga. Um Estudo de Metodologias de Projeto de Hardware Usando o Decodificador de Vídeo Theora I. 2007. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Sandro Rigo.

19.
Daniele R. dos Santos. Estudos de Virtualização. 2007. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

20.
Douglas Diniz. Desenvolvimento de Sistemas de Simulação de Sistemas Multiprocessados. 2006. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

21.
Carolina Simões Gomes. Interoperabilidade entre as plataformas Open Source e Microsoft. 2006. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

22.
Dênis Baptista Rosas. Interoperabilidade entre as plataformas Open Source e Microsoft. 2006. Iniciação Científica - Universidade Estadual de Campinas, Microsoft Brasil. Orientador: Sandro Rigo.

23.
Luis Felipe Strano Moraes. Construção de Compiladores. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

24.
Fabio de Paula Caraça Smirmaul. Uma Contribuição ao Desenvolvimento de uma Estrutura de Simulação de Plataformas. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

25.
Geraldo Itagiba de Andrade. Automação de Testes para Modelos de Processadores em ArchC. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sandro Rigo.

Orientações de outra natureza
1.
Francisco Javier Perez Gutiérrez. Estudo da Arquitetura MIPS utilizando a Linguagem ArchC. Programa de Intercâmbio IAESTE Brasil-Espanha.. 2004. 0 f. Orientação de outra natureza - Pontifícia Universidade Católica de Campinas. Orientador: Sandro Rigo.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 21/01/2019 às 24:24:46