Lectures for CS717 Fall 2004

Intro Lecture <Greg Bronevetsky>

Tue 8/31 Verifiers for Specific Algorithms <Greg Bronevetsky>

(Board Notes)
Thu 9/2, Tue 9/7 Algorithm-Based Fault Tolerance <Greg Bronevetsky>

Thu 9/9, Tue 9/14, Thu 9/16
Control-Flow Checking <Greg Bronevetsky>

Tue 9/21, Thu 9/23 Checking Data Structures <Greg Bronevetsky>

Tue 9/28, Tue 10/1, Thu 10/5, Tue 10/7 Application-level Checkpointing <Keshav Pingali>

Tue 10/12 Hardware Artifical Intelligence Replication via Virtual Machines <Sigmund Cherem>

Tue 11/23, Thu 11/25

Other Relevant Topics that did not get covered this semester

System/Parallel Replication Software Replication Programer Annotations Fault Detection for Parallel Systems General Theoretical Results / PCP Theorem Fault Tolerant Cicuits Experimental Comparisons of Checkers Real Random Failure Data/Evaluations with Real Radiation Bombardment