Quarta-Feira, 4 de Julho de 2007
08:30 - 09:00
Abertura
Cerimônia de Abertura do WSO 2007
09:00 - 10:00
Keynote
Keynote Speech
Lightweight Operating Systems and I/O for HPC Systems
Arthur Bernard Maccabe, UNM, Estados Unidos.
In this talk I will summarize the UNM and Sandia National Labs experiences in the design and development of operating systems and I/ O systems for massively parallel processing (MPP) systems. The Sandia/UNM "lightweight" operating systems emphasize simplicity of implementation and interface over richness of features. These systems have been in used on a variety of successful MPP systems, including: the Intel Paragon, the Intel Teraflop system and the Cray XT3 (Red Storm). Recently, (lack of) OS noise has been identified as a key factor in the success of these lightweight approaches. OS noise, is only one of the facets that distinguish lightweight systems -- simplicity, transparency and robustness are also key parts of the design approach. In addition to MPP operating systems, we are applying the lightweight approach to the implementation of communication protocols and to the design of storage systems.
10:15 - 11:45
Mini-curso
Mini-curso
Mini-curso: Linux Device Drivers
Antônio Augusto Fröhlich, UFSC, Brasil.
13:30 - 15:30
Mini-cursos
Mini-cursos
Mini-curso: Linux Device Drivers
Antônio Augusto Fröhlich, UFSC, Brasil.
Mini-curso: Virtualização
Dilma Menezes da Silva, IBM, Estados Unidos.
15:45 - 16:45
Mini-cursos
Mini-cursos
Mini-curso: Linux Device Drivers
Antônio Augusto Fröhlich, UFSC, Brasil.
Mini-curso: Virtualização
Dilma Menezes da Silva, IBM, Estados Unidos.
16:45 - 19:00
Palestra
Palestra
Tecnologias de Linguagens voltadas ao desenvolvimento de SO
Luciano Porto Barreto, UFBA, Brasil.
Quinta-Feira, 5 de Julho de 2007
08:00 - 09:00
ST
Sessão Técnica I - Alexandre Sztajnberg
Sistema operacional embarcado eCos com suporte a SMP para o processador Nios II
Maikon Bueno, Christiane Brasil, Universidade de São Paulo, Brazil
Eduardo Marques, Institute of Mathematics and Computation - RCL (Reconfigurable Computing Labs), Brazil.
Mechatronics Real Time Linux - A RTOS Live CD Based on Linux
Rafael Aroca, Dalton Tavares, University of São Paulo (USP), Brazil
Glauco A P Caurin, USP, Brazil.
Sistema Operacional do Terminal de Acesso de Referência
Celio Hira, Universidade de São Paulo, Brazil
Laisa Costa, Rogério Nunes, University of São Paulo, Brazil
Lucas Villa Real, Universidade de São Paulo, Brazil
Marcelo Zuffo, USP, Brazil.
09:00 - 10:00
ST
Sessão Técnica II - Rômulo Silva de Oliveira
Um Gerente de Energia para Sistemas Profundamente Embarcados
Geovani Wiedenhoft, Arliones Hoeller Junior, Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil.
Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados
Rafael Cancian, Universidade do Vale do Itajaí, Brazil
Marcelo Stemmer, UFSC, Brazil
Alexandre Schulter, UFSC - Universidade Federal de Santa Catarina, Brazil
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil.

Bate-papo
Bate papo com Machado e Maia, autores do livro Arquitetura de SO da LTC
10:15 - 11:45
Palestra
Palestra
Retrospectiva do Ano em Sistemas Operacionais: OSDI'06, Eurosys'07, HotOS'07, Usenix'07
Dilma Menezes da Silva, IBM Research, Estados Unidos.
13:30 - 14:30
ST
Sessão Técnica III - Edson Midorikawa
Análise Multiparamétrica do Overhead de Rede em Máquinas Virtuais
Flavio Urschei, Eder Pelegrini, University of São Paulo, Brazil
Marcio Silva, University of Sao Paulo, Brazil
Edson Midorikawa, Universidade de São Paulo, Brazil
Tereza Carvalho, USP, Brazil.
Técnicas de Emulação de Operações de Ponto Flutuante em Sistemas Operacionais Modernos
Lucas Villa Real, Edson Midorikawa, Universidade de São Paulo, Brazil
Marcelo Zuffo, USP, Brazil.
OSPORT - A Practical Tool for Porting or Maintenance Operating System Source-code
Osvaldo de Souza, Helano Castro, UFC, Brazil.
14:30 - 15:30
ST
Sessão Técnica IV - Alexandre Sztajnberg
Avaliação de Desempenho de Sistemas de Arquivos Distribuídos num Ambiente de Pequena Escala
Amadeu Barbosa, Universidade Federal da Bahia, Brazil
Luciano Porto Barreto, UFBA, Brazil
Fabíola Greve, Universidade Federal da Bahia, Brazil.
Influência dos Parâmetros de Controle no Desempenho de Algoritmos Adaptativos de Substituição de Páginas
Edson Midorikawa, Universidade de São Paulo, Brazil
Hugo Cassettari, Escola Politécnica da Universidade de São Paulo, Brazil
Ricardo Piantola, Universidade de São Paulo, Brazil.
15:45 - 16:45
ST
Sessão Técnica V - Luciano Porto Barreto
Proposta de uma infra-estrutura de suporte para serviços de contexto e descoberta de recursos
Leonardo Cardoso, Universidade Federal Fluminense, USA
Alexandre Sztajnberg, Universidade do Estado do Rio de Janeiro, Brazil
Orlando Loques, UFF, Brazil.
A Reservation Scheduler for Real-Time Operating Systems
David Matschulat, César Marcon, Fabiano Hessel, PUCRS, Brazil.
16:45 - 17:45
ST
Sessão Técnica VI - WIP - Antônio Augusto Fröhlich
Um Analisador e Simulador de Redes de Petri em Java
Felipe Gonçalves de Oliveria Lino, Alexandre Sztajnberg, Universidade do Estado do Rio de Janeiro, Brazil.
Adaptação do Middleware de Grids POP-C++ para Redes de Sensores sem Fio
Augusto Born de Oliveira, UFSC, Brazil
Lucas Wanner, Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil.
Construção de um sistema de visualização de arquivos 3D
Mauro Mattos, Antonio Tavares, Vinícius Krauspenhar, FURB - Universidade Regional de Blumenau, Brazil.
Árvores de Recursos Virtuais: Um modelo de gerenciamento de recursos fim-a-fim com QoS
Marcelo Moreno, Pontificia Universidade Catolica do Rio de Janeiro - PUC-Rio, Brazil
Sérgio Colcher, Luiz Fernando Soares, PUC-Rio, Brazil.
17:45 - 19:00
Prêmio
Entrega do prêmio de melhor artigo do WSO 2007