Thursdays at 3:30pm-4:20pm in 356 Harris Center (starting January 17).
Attendants:
Schedule:
| Date | Topic |
| Jan 17 | Real-Time Systems and Software - Ch. 7 |
| Jan 24 | Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths |
| Jan 31 | WCET Analysis for a Java Processor |
| Feb 7 | No seminar was held |
| Feb 14 | Formalization of Time and Space |
| Feb 21 | Modular Verification of Performance Correctness |
| Feb 28 | Specifying and Verifying Heap Space Allocation with JML and ESC/Java2 |
| Mar 6 |