Sandro Rigo

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.

Informações coletadas do Lattes em 18/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciência da Computação

2000 - 2004

Universidade Estadual de Campinas
Título: ArchC: Uma Linguagem de Descrição de Arquiteturas
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

Mestrado em Ciência da Computação

1998 - 2000

Universidade Estadual de Campinas
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.

Graduação em Matemática Aplicada e Computacional

1994 - 1997

Universidade Estadual de Campinas

Seção coletada automaticamente pelo Escavador

Pós-doutorado

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.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    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.

    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.

    Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.

Seção coletada automaticamente pelo Escavador

Organização de eventos

RIGO, S. . International Symposium on Computer Architecture and High Performance Computing. 2017. (Congresso).

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

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

Seção coletada automaticamente pelo Escavador

Participação em eventos

Design Automation Conference (DAC). Using Computational Reflection to Support Debugging of ESL Models in SystemC. 2008. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Jeferson Rech Brunetta

BORIN, E.RIGO, S.; MENOTTI, R.. 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.

Aluno: Rafael Cardoso Fernandes Sousa

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

Aluno: Mario Mikio Hato

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

Aluno: Tiago Rezende Campos Falcão

AZEVEDO, RodolfoALBERTINI, Bruno de CarvalhoRIGO, S.. Concurrent SystemC TLM-2 Simulations. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Marcus Felipe Botacin

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

Aluno: VICTOR HUGO SPERLE CAMPOS

PEREIRA, F. M. Q.;RIGO, S.; FERREIRA, K. A. M.. Restrictification of function arguments. 2016 - Universidade Federal de Minas Gerais.

Aluno: William Schneider

RIGO, S.; CALAZANS, N.; MARCON, C.; MORAES, F.. 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.

Aluno: Gabriel Ferreira Teles Gomes

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

Aluno: Leonardo Augusto Guimarães Garcia

AZEVEDO, RodolfoRIGO, S.; PEREIRA, F. M. Q.. 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.

Aluno: Divino César Lucas

ARAÚJO, GuidoRIGO, S.; PEREIRA, F. M. Q.. 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.

Aluno: Henrique Dante de Almeida

CENTODUCATTE, Paulo CesarAZEVEDO, Rodolfo; GUILHERMINO FILHO, Abel;RIGO, S.. Implementação de Cache no Projeto ArchC. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Leandro da Silva Freitas

SANTOS, L. C. V.RIGO, S.FURTADO, O. J. V.; LETTNIN, D. V.. 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.

Aluno: Francisco Rafael Lorenzo Hoyos

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

Aluno: Maxwell Monteiro Andrade de Souza

ARAÚJO, GuidoARAÚJO, CristianoRIGO, S.. 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.

Aluno: Giancarlo Covolo Heck

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

Aluno: Emílio Wuerges

FURTADO, O. J. V.RIGO, S.SANTOS, L. C. V.; OLIVEIRA, R. S.. 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.

Aluno: Gabriel Macion Marcílio

SANTOS, L. C. V.RIGO, S.; Wagner, F. R.; MONTEZ, C. B.. 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.

Aluno: Frederico de Faria

RIGO, S.; CHAU, W. J.; KOFUJI, S. T.. 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.

Aluno: Andréia Aparecida Barbiero

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

Aluno: Sandro Cesca Dangui

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

Aluno: Cristiano Lino Felicio

CENTODUCATTE, Paulo CésarRIGO, S.; FREITAS, Ricardo Luís de;AZEVEDO, Rodolfo Jardim de. 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.

Aluno: Francisco Blasi Junior

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

Aluno: Guilherme Afonso Madalozzo

MORAES, F.;RIGO, S.; MARCON, C. A. M.; GARIBOTTI, R. F.. 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.

Aluno: Divino César Lucas

ARAÚJO, GuidoRIGO, S.BALDASSIN, Alexandro; PEREIRA, M. M.; PEREIRA, F. M. Q.. The Batched DOACROSS Algorithm. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Juan Jesús Salamanca Guillén

ARAÚJO, GuidoRIGO, S.BALDASSIN, Alexandro; CASTRO, M. B.; FRANCESQUINI, E.. Thread Level Speculation on Hardware Transactional Memory Architectures. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rafael Auler

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

Aluno: Márcio Machado Pereira

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

Aluno: Emílio Wuerges

SANTOS, L. C. V.RIGO, S.; Wagner, F. R.. 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.

Aluno: Daniel Henricus de Knegt Dutra Nicácio

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

Aluno: Roberto Alves Gallo Junior

DAHAB, R.; CUSTODIO, R. F.; NASCIMENTO, A. C. A.; HENRIQUES, M. A. A.;RIGO, S.. 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.

Aluno: Fábio Mascarenhas de Queiróz

Ierusalimschy, R.;RIGO, S.; RODRIGUES, N.. 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.

Aluno: Felipe Vieira Klein

AZEVEDO, RodolfoRIGO, S.SANTOS, L. C. V.; BERGAMASCHI, R.; CARRO, L.. 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.

Aluno: Wesley Attrot

ARAÚJO, GuidoARAÚJO, CristianoSANTOS, L. C. V.RIGO, S.AZEVEDO, Rodolfo. 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.

Aluno: Gilberto Zonta Pastorello Junior

MEDEIROS, C. M. B.; SILVA, A. S.; LOUREIRO, A. A. F.; MADEIRA, Edmundo;RIGO, S.. 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.

Aluno: Amanda Cristina Davi Resende

RIGO, S.; GEUS, P. L.; NASCIMENTO, A. C. A.. 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.

Aluno: Priscila Aparecida de Moraes Ioris

RIGO, S.; WANNER, L. F.;BALDASSIN, Alexandro. 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.

Aluno: Luís Fernando Arcaro

SANTOS, L. C. V.RIGO, S.; ZEFERINO, C. A.. 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.

Aluno: Fabíola Martins Campos de Oliveira

RIGO, S.; LOTUFO, R.; MADEIRA, Edmundo. 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.

Aluno: Divino César Lucas

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

Aluno: Rafael Auler

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

Aluno: Emílio Wuerges

RIGO, S.FURTADO, O. J. V.; Wagner, F. R.; MONTEZ, C. B.. 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.

Aluno: Roberto Alves Gallo Filho

RIGO, S.; GEUS, P. L.; CUSTODIO, R. F.; HENRIQUES, M. A. A.; OLIVEIRA, J. R.. 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.

Aluno: Wesley Attrot

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

Aluno: Alexandro Baldassin

AZEVEDO, RodolfoCENTODUCATTE, Paulo CésarRIGO, S.; SONG, S.. Suporte Arquitetural para Memória Transacional. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rafael Mendonça Soares

AZEVEDO, RodolfoBORIN, E.RIGO, S.. 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.

Aluno: Isaías Bittencourt Felzmann

WANNER, L. F.;RIGO, S.AZEVEDO, Rodolfo. 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.

Aluno: Martin Ichilevici de Oliveira

ARAÚJO, GuidoAZEVEDO, RodolfoRIGO, S.. Memory Allocation and Balancing Techniques for NUMA Machines. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.

RIGO, S.; PELEGRINI, J.; PARDO, T.. Concurso Público para a área de Compiladores e Paradigmas de Programação. 2014. Universidade Federal do ABC.

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.

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.

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.

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.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Paulo Cesar Centoducatte

ARAÚJO, G.SANTOS, L. C. V.; BARROS, E. N. S.; MACHADO, N. C.;CENTODUCATTE, P.. ArchC: Uma Linguagem de Descrição de Arquiteturas. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

LETICIA MARIA BAGGIO AZAMBUJA

BAGGIO, Leticia; Schechtel, João Ricardo; CALIXTO, Ivael. Fatores geradores de absenteismo: o caso de uma industria de carnes no interior do Paraná. 2010. Trabalho de Conclusão de Curso (Graduação em Administração) - Faculdade União.

Alberto Ferreira De Souza

ARAÚJO, GuidoAZEVEDO, Rodolfo Jardim deDe Souza, Alberto Ferreira. ArchC: Uma Linguagem de Descrição de Arquiteturas Baseada em SystemC. 2003. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Arnaldo Vieira Moura

MOURA, A. V.. Experimentos com Codificação e Compactação no Gerenciamento de Memória da Máquina Virtual Java. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Rodolfo Jardim de Azevedo

AZEVEDO, R. J.Guido AraujoAlberto de Souza. ArchC: Uma Linguagem para Descrição de Arquiteturas Baseada em SystemC. 2003. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Seção coletada automaticamente pelo Escavador

Orientou

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);

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);

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);

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);

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);

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);

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Nathalya Harumi

Soluções OpenStack no Contexto da Plataforma OpenPower; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, IBM Brasil; Orientador: Sandro Rigo;

Rafael Pimenta

Soluções OpenStack na Plataforma OpenPOWER; 2017; Iniciação Científica - Universidade Estadual de Campinas, IBM Brasil; Orientador: Sandro Rigo;

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;

Guilherme Tiaki

Soluções OpenStack na Plataforma OpenPOWER; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, IBM Brasil; Orientador: Sandro Rigo;

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;

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;

Caio Salvador

Detecção de Erros de Energia em Aplicativos Móveis; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Samsung Brasil; Orientador: Sandro Rigo;

LUÍS FERNANDO SILVA

Detecção de Erros de Energia em Aplicativos Móveis; 2015; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Samsung Brasil; Orientador: Sandro Rigo;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Fábio 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;

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;

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;

Seção coletada automaticamente pelo Escavador

Foi orientado por

LETICIA MARIA BAGGIO AZAMBUJA

Fatores geradores de Absenteísmo: o caso de uma indústria de carnes no interior do Paraná; 2010; Trabalho de Conclusão de Curso; (Graduação em Administração) - Faculdade União; Orientador: Leticia Maria Baggio Bozzetto;

Guido Costa Souza de Araújo

Experimentos com Codificação e Compactação no Gerenciamento de Memória na Máquina Virtual Java; 2000; 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: Guido Costa Souza de Araújo;

Guido Costa Souza de Araújo

ArchC: Uma Linguagem de Descrição de Arquiteturas; 2004; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Guido Costa Souza de Araújo;

Rodolfo Jardim de Azevedo

ArchC: Uma Linguagem de Descrição de Arquiteturas; 2004; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Rodolfo Jardim de Azevedo;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • GARCIA, 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.

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

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

  • BERGAMASCHI, 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.

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

  • KRONBAUER, 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.

  • BALDASSIN, 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.

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

  • ARAÚ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.

  • RAJAGOPALAN, 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • HU, G. ; ZHANG, D. ; RIGO, S. ; NGUYEN, T. . Approximation with Error Bounds in Spark. Rutgers University, 2018 (Rutgers University Technical Report).

  • Leonardo Piga ; BERGAMASCHI, R. ; AZEVEDO, Rodolfo ; RIGO, S. . Power Measuring Infrastructure for Computing Systems 2011 (Relatório Técnico IC-11-09).

Seção coletada automaticamente pelo Escavador

Outras produções

RIGO, S. . Avaliação de projetos FAPEG - Programa FAPEG para avaliação de projetos no programa PAPPE INTEGRAÇÃO FAPEG/FINEP. 2011.

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

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

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

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

RIGO, S. . Elsevier Journal of Computers and Electrical Engineering. 2013. (Revisão de artigo).

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

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

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

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

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

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

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

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

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

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

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

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

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2015 - 2017

    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: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (2) . , Integrantes: Sandro Rigo - Integrante / Maxiwell Salvador Garcia - Integrante / Edson Borin - Coordenador / cristianno martins - Integrante.

  • 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. , Integrantes: Sandro Rigo - Integrante / Edson Borin - Coordenador / Juliana Freitag Borin - Integrante.

  • 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. , Integrantes: Sandro Rigo - Integrante / Alexandro Baldassin - Integrante / Nahri Moreano - Integrante / Rodolfo Azevedo - Coordenador / Edson Borin - 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. , Integrantes: Sandro Rigo - Integrante / Guido Araújo - Integrante / Rodolfo Azevedo - Coordenador.

  • 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 - 2015

    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: Concluído; Natureza: Pesquisa. , Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Edson Borin - Integrante.

  • 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. , Integrantes: Sandro Rigo - Integrante / Guido Araújo - Integrante / Rodolfo Azevedo - Integrante / Ney Calazans - Coordenador.

  • 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. , Integrantes: Sandro Rigo - Integrante / Guido Araújo - Coordenador / Rodolfo Azevedo - Integrante / Reinaldo Bergamaschi - Integrante.

  • 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. , Integrantes: Sandro Rigo - Coordenador / Raul Kist - Integrante / Henrique Baggio - Integrante / Alexandre Tolstenko - Integrante / Nicholas Mizoguchi - Integrante., Financiador(es): Microsoft Brasil Ltda. - Auxílio financeiro.

  • 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. , Integrantes: Sandro Rigo - Coordenador / Raul Kist - Integrante / Bruno Melo - Integrante / Henrique Baggio - Integrante / César Brod - Integrante., Financiador(es): Microsoft Brasil Ltda. - Auxílio financeiro.

  • 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. , Integrantes: Sandro Rigo - Integrante / Omar Carvalho Branquinho - Integrante / Cláudia Maria Bauzer Medeiros - Coordenador / Ricardo Torres - Integrante / Jansle Rocha - Integrante / Rubens Lamparelli - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Microsoft Corporation - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 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 - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., 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 / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - 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

Seção coletada automaticamente pelo Escavador

Prêmios

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

Histórico profissional

Seção coletada automaticamente pelo Escavador

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:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2008 - Atual

    Universidade Estadual de Campinas

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

  • 2005 - 2008

    Universidade Estadual de Campinas

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

  • 2005 - 2005

    Universidade Estadual de Campinas

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

  • 2002 - 2002

    Universidade Estadual de Campinas

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

  • 2001 - 2001

    Universidade Estadual de Campinas

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

    Atividades

    • 05/2017

      Direção e administração, Centro de Computação, .,Cargo ou função, Superintendente do Centro de Computação.

    • 05/2017

      Direção e administração, Reitoria, .,Cargo ou função, Coordenador de Tecnologia da Informação e Comunicação.

    • 08/2009

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

    • 07/2006

      Conselhos, Comissões e Consultoria, Instituto de Computação, .,Cargo ou função, Coordenador do Laboratório UNICAMP-Microsoft.

    • 03/2006

      Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Circuitos Lógicos, Algoritmos e Programação de Computadores

    • 03/2005

      Pesquisa e desenvolvimento , Instituto de Computação, .,Linhas de pesquisa

    • 04/2012 - 07/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

    • 07/2005 - 12/2005

      Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados

    • 03/2005 - 07/2005

      Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Circuitos Lógicos

    • 06/2001 - 06/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.

    • 03/2002 - 07/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.

  • 2004 - 2005

    Pontifícia Universidade Católica de Campinas, PUC Campinas

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

    Atividades

    • 02/2005 - 07/2005

      Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Circuitos Lógicos

    • 01/2005 - 02/2005

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

    • 08/2004 - 12/2004

      Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Arquitetura de Computadores, Organização Básica de Computadores

    • 08/2004 - 12/2004

      Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Circuitos Lógicos

  • 2005 - 2005

    Sociedade Brasileira de Computação - Porto Alegre

    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)

  • 2004 - 2004

    Sociedade Brasileira de Computação - Porto Alegre

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

    Atividades

    • 07/2004 - 07/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).