|
|
|
|
 |
Meeting Home ||
Agenda ||
|
|
Agenda
Agenda in PDF format
Wednesday, November 12
Static Analysis to Enhance the Power of Model Checking for Concurrent Software
| 0830-0900 | OSD Introduction |
| 0900-0930 | Assuring Software Quality Ed Clarke |
| 0930-0950 | Overview of UW Activities Tom Reps |
| 0950-1015 | Modular Verification of C
Components Sagar Chaki |
| 1015-1040 | Shape Analysis Tom Reps |
| 1040-1055 | BREAK |
| 1055-1120 | Verification of Embedded Systems Daniel Kroening |
| 1120-1145 | Weighted Pushdown Systems Tom Reps |
| 1145-1215 | Wrap-Up Ed Clarke and Tom Reps |
| 1215-1315 | LUNCH |
| 1315-1415 | Poster Session Various Students |
Thursday, November 13
Vulnerability and Information Flow Analysis of COTS
| 0830-0900 | OSD Introduction |
| 0900-0915 | WiSA Project Overview Somesh Jha |
| 0915-1000 | WiSA Architecture Overview and
Applications Somesh Jha |
| 1000-1015 | BREAK |
| 1015-1100 | Static Analysis of x86
Binaries Tom Reps |
| 1100-1145 | Attacks and Defenses Bart Miller |
| 1145-1215 | Wrap-Up Somesh Jha |
| 1215-1315 | LUNCH |
| 1315-1415 | Demonstrations Various Students |
| 1415-1500 | Poster Session Various Students |
|
Meeting Home ||
Agenda ||
|
|
This page modified November 16, 2003.