| 3/26 | Organizational Meeting | (no presentation) |
Dimensions of System Analysis | ||
| Mon 2/2 | Real-time Analysis | Venkita Subramonian |
| Mon 2/9 | Fault-tolerance Analysis and trade-offs | Huang-Ming Huang |
| Wed 2/11 (colloquium 10-11am, discussion 1-2:30pm) |
"Total Order Communications over Asynchronous Distributed Systems: Specifications and Implementations" | Roberto Baldoni, U. Rome, Italy |
| Mon 2/16 | Storage Analysis | Morgan Deters |
| Mon 2/23 | Security Analysis | Chris Gill |
| Mon 3/1 | Power consumption analysis | Yuanfang Zhang |
Paradigms for Software Separation of Concerns | ||
| Mon 3/8 | Spring Break | (no seminar) |
| Mon 3/15 | Aspect-Oriented Systems Programming | presenter TBA |
| Mon 3/22 | Generic Systems Programming | presenter TBA |
| Mon 3/29 | Object-Oriented Systems Programming | presenter TBA |
Formalisms for Feature Composition | ||
| Mon 4/5 | Pi Calculus | Morgan Deters |
| Mon 4/12 | Type systems | presenter TBA |
| Mon 4/19 | Model assisted composition | presenter TBA |
| Mon 5/3 | Temporal and relational logics | presenter TBA |