CS 717 Lectures (Fall 2001)
August
30
Introduction
[KP]
September
4 Introduction (contd) [KP]
6
MPI
[PS]
11
Shared-memory
[KP]
13 Shared-memory (contd) [KP]
18
Reversible computing
[Kevin Hamlen]
20 Lamport clocks/consistent cuts [KP]
25
Uniprocessor checkpointing
[Dan Marques]
27
Compiler Assisted Checkpointing/Uncoordinated checkpointing
[Dan Marques]
October
2
Uncoordinated checkpointing (contd.)
[KP]
4
Comments on Compiler-assisted Application-level checkpointing
[Paul]
Co-ordinated checkpointing (non-blocking)
[Kyusoon Lee]
9 **** Fall break
11 Project discussion
16 Introduction to message logging
18
Optimistic logging
[Kamen Yotov]
23
Pessimistic logging
[Kamen Yotov]
25
Causal logging: Manetho
[Rohit Fernandes]
30
Causal logging: FBL
[Rohit Fernandes]
November
1
Shared memory failures
[Dan Marques]
6 Byzantine failures vs fail-stop, and Self-checking programs [Greg Bronevetsky]
Byzantine Fault Tolerance in BFT
Certification of Computational Results
ED4I- Error Detection by Diverse Data and Duplicated Instructions
Theoretical Program Checking
SCCM
8 Byzantine failures... (cont.)[Greg Bronevetsky]
13
Self-checking matrix algorithms
[Kyusoon Lee]
15
Case studies: NetSolve
[Lidong Zhou]
20
Case studies: Globus
[Lidong Zhou]
22 **** Thanksgiving
27
Case studies: Seti@home
[Sunny Gleason]
29
Case studies: Apache JServ
[Sunny Gleason]
Dec
4
Failure detection
[Ashish Motivala]
6