TDS seminars schedule for Fall 2007 Seminars are in Room 32-G531, 1 – 2:30 pm on Fridays, unless otherwise noted. Information on this page is constantly updating.
Date
Speaker
Topic/Abstract
Slides
Sep. 21
Mike Spindel
“Simulating Routing Protocols over Virtual
Nodes”; Abstract
pdf
Oct. 12
Alejandro Cornejo
"Enhancing Iterated Communication Models with
Failure-Detectors"; Abstract
Oct. 19
Shinya Umeno
“Formal verification of the NASA SPIDER start
up protocol: an automata theoretic approach”;
Abstract
Nov. 2
Kishori Konwar
“Robust Network Supercomputing with
Malicious Processes”; Abstract
ppt
Dec. 14
Tina Nolte
“Self-Stabilization and Virtual Node Layer Emulations”; Abstract
TDS | TOC | CSAIL | EECS | MIT
Any Comments? Interested in speaking?
Spring 2007 seminars, Fall 2006 seminars