*CANCELED*
Harvard University
Computer Science Colloquium Series
33 Oxford St., Cambridge, MA 02138
Colloquium
Evaluating OS's to Enhance Robustness
Neeraj Suri
TU Darmstadt, Germany
www.deeds.informatik.tu-darmstadt.de/suri
Thursday, February 15, 2006
4:00PM
Maxwell Dworkin G125
(Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge Area)
Abstract
While the elusive quest of perfect-by-design software continues, in the
meantime
software/OS's unfortunately still continue to expand on Murphy's laws of
failures.
At the OS level, the complexity of run time software interactions and
especially
the plethora of add-on device drivers makes providing for robust OS
operations
an even harder challenge. As analytical/formal techniques are often
constrained
in handling the operational and growing OS state space complexity, this work
investigates the use of complementary experimental techniques to first
profile
and locate robustness vulnerabilities, and subsequently add
(post-design) wrapper
code to enhance OS robustness. To systematically drive this process, a
basic objective
targets development of realistic and measurable OS robustness quantifiers.
The talk delves into the joys and travails of experimentation abetting
theory and vice-versa!
Host: Professor Greg Morrisett
_______________________________________________
Colloquium mailing list
Colloquium(a)deas.harvard.edu
https://lists.deas.harvard.edu/mailman/listinfo/colloquium
_______________________________________________
iic-seminars mailing list
iic-seminars(a)calists.harvard.edu
http://calists.harvard.edu/mailman/listinfo/iic-seminars