SEMISH - 39th Seminar on Hardware and Software
SEMISH is the main symposium of the Brazilian Computer Society Congress. The thirty ninth edition of SEMISH will be held in Curitiba (Brazil) on July 16-19, 2012 in conjunction with 32th Brazilian Computer Society Congress.
The main theme of this year's symposium is ubiquitous computing, encompassing studies and solutions for services and convergent infrastructures, cloud computing, virtualization and mobility. As in the previous years, the symposium also welcomes papers related to the Grand Research Challenges proposed by the Brazilian Computer Society.
SEMISH aims bringing together academics and industry practitioners in order to share experiences by submitting papers (in English or in Portuguese) that discusses solutions, the existing state-of-the-art and set directions for future research.
Paper submission
Authors presenting original and unpublished works are invited to submit papers. The submitted papers should not exceed 12 pages (including references, figures and tables) and should follow the SBC style.
All papers should be submitted electronically, in PDF format, and uploaded on JEMS. Extended versions of the accepted papers will considered for publication in a special issue of an international journal (to be defined).
Invited lectures
- "Modern challenges in analyzing the correctness and performability of complex systems"
Abstract: Correctness, performance, and dependability evaluation has
always been essential to the design and maintenance of computer systems.
Accordingly, techniques and tools to carry out such studies have a long
and successful history, with many conferences dedicated to them.
Recent computer industry trends, though, are stressing our analysis
capabilities: software applications ranging from multi-player online games
to e-commerce, from factory automation to vehicular on-board diagnostic,
engine control, and entertainment systems, are now highly distributed; on
the hardware side, almost all workstations, laptops, tablets, and high-end
phones us emulti-core processors.
The analysis of distributed or parallel
systems is much harder than for the sequential system that preceded them,
as they have larger state spaces and many problems that plague them are
due to subtle, hard-to-reproduce, and rare behaviors. In this talk, we
describe how decision-diagram-based techniques, initially
proposed for VLSI verification, provide some hope to tackle large state
spaces, as well as the means to analyze their logical, timing, and
probabilistic properties in a unified framework.
Short Biography: Gianfranco Ciardo is a Professor in the Department of
Computer Science and Engineering at the University of California, Riverside.
Previously, he has been on the faculty at the College of William and Mary,
Williamsburg, Virginia, a Visiting Professor at the University of Torino,
Italy, and at the Technical University of Berlin, Germany, and has held
research positions at HP Labs (Palo Alto, California), ICASE (NASA Langley
Research Center, Hampton, Virginia), Software Productivity Consortium
(Herndon, Virginia), and CSELT (Torino, Italy).
He received a Laurea from the University of Torino, Italy, and a PhD from
Duke University. He has been on the editorial board of IEEE Transactions on
Software Engineering and is on the editorial board of Transactions on Petri
Nets and Other Models of Concurrency.
He is interested in algorithms and tools for logic and stochastic analysis
of discrete-state models, symbolic model checking, performance and reliability
evaluation of complex hardware/software systems, Petri nets, and Markov models.
- "Clouds in Real World"
Abstract: "The Cloud" – it's out there and we have to deliver on
its promises. The business and its executives have heard the hype and
are eager to see its results and impact on the bottom line. We have a
lot to live up to.
The adoption of the cloud for the enterprise is not as simple as buying
a solution; it's a revolutionary new way of buying, building and consuming
IT resources. It takes the adoption of a full blown transformation
initiative to increase the level of maturity of processes and organization
in concert with solution providers to garner the expected results.
Everyone can be somewhat successful with point solution approaches, but
will these ultimately aid or hinder your progression to an enterprise
cloud ecosystem? Taking a few initial fundamental steps will reap great
rewards!
Are we there yet? In the real world – if you are 'there', you are probably
not where you think you are and maybe your head is in the clouds.
Short Biography: Howard Cribbs has spent 24 years in the IT industry as a transformational executive by leading with innovation management and developing financial transparency models. Most recently, as vice president and Chief Information Officer, he led strategic initiatives to create a business-focused vision by developing a hybrid cloud model and evolving his IT staff roles to transform with the business. Over the years he has enjoyed success in several verticals: insurance, energy, telecom, software development and the US Army. He has faced many of the same staffing, budgeting and tough decisions that are pervasive across the IT industry. His objectives in each role were to align technology with business, create reproducible success, and put a successor in place so he could transition to the next challenge. Finally, in late 2010, Howard decided to find a place where he could focus on helping with the multi-faceted challenges facing numerous businesses today. Having been a long time customer and believing in the strategic roadmap, Howard joined EMC as Chief Technology Officer of the Mountain Plains area. Since that time he has been assisting customers with their business challenges and offering perspectives on the current and future vision of information technology. When not focused on the everyday demands of process and progress, Howard enjoys time sailing with his wife and four kids.
Program
Important dates
- Paper submission: April 30, 2012 (firm deadline);
- Acceptance notification: June 4, 2012;
- Camera-ready version: June 20, 2012;
- Symposium: from July 16 to July 19, 2012.
Comittee
Altigran Soares da Silva - UFAM
André Ponce de Leon F de Carvalho - ICMC-USP
Artur Ziviani - LNCC
Augusto Sampaio - UFPE
Celso Ribeiro - UFF
Clodoveu Davis - UFMG
Eduardo Figueiredo - UFMG
Eduardo Tavares - UFPE
Fabio Protti - UFF
Flavio Wagner - UFRGS
Francisco Vieira - UFPI
Geraldo Robson Mateus - UFMG
Glêdson Elias da Silveira - UFPB
Heloisa Camargo - UFSCar
Itana Maria de Souza Gimenes - UEM
Judith Kelner - UFPE
Leila Ribeiro - UFRGS
Lucia Drummond - UFF
Luciana Nedel - UFRGS
Marcel Oliveira - UFRN
Marcelo Finger - USP
Marius Strum - USP
Nelson Rosa - UFPE
Norian Marranghello - UNESP
Renata Galante - UFRGS
Renato Tinós - FFCLRP-USP
Ricardo Massa - UFPE
Ricardo Salgueiro - UFS
Ricardo Torres - UNICAMP
Rivalino Matias- UFU
Sérgio Galdino - UPE
Siang Song- USP
Vanessa Braganholo - UFF
Virgílio Almeida - UFMG
Coordination
Versão em Português
