my.harvard calendar reminder:
Event Information:
Date : 2/15/2007
Start Time : 04:00 PM
End Time : 05:00 PM
Title : CANCELED Evaluating OS's to Enhance Robustness (Neeraj Suri)
Description : CANCELED
CANCELED
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
Location : Maxwell Dworkin G125 (Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge
Area)
URL :
Phone :
Calendar : Computer Science Colloquium Series
_______________________________________________
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