Paper presentation: Constraints Assisted Modeling and Validation
Project proposal: Reverse Path Exploration for Failure Detection
Project presentation: Dynamic Program Analysis with Partial Execution and Summary
Project Report: Dynamic Program Analysis with Partial Execution and Summary
Project report: Extending Java with Checkpointing
Project presentation: Buffer-sizing for Precedence Graphs on Restricted Multiprocessor Architectures
The notes and materials for the PL prelim in Spring 2005 has been moved here.