2005 PROGRAM AGENDA
|
WEDNESDAY, MARCH 9 |
THURSDAY, MARCH 10 |
FRIDAY, MARCH 11 | |
| 0830 - 0915 |
A Business Case for FP |
Function Extraction for Malicious Code: The FX/MC Project |
Narrow Reachability Analysis |
| 0915 - 0930 |
Software Assurance Metrics and Tool Evaluation |
Verified ARM Implementations Michael Gordon (University of Cambridge) |
|
| 1000 - 1015 | BREAK | BREAK | BREAK |
| 1015 - 1030 |
Unsafe at any (CPU) Speed - Why We Make the Same Mistakes Over and Over Again |
||
| 1030 - 1115 | A Developer-Oriented Approach to Software Assurance and Evolution Bill Scherlis (Carnegie Mellon University) |
Protocol Derivation Assistant |
|
| 1115 - 1200 |
A Next-Generation Platform for Analyzing Executables |
Building a High-Assurance Separation Kernel Using Programatica Mark Jones (OHSU/PSU) |
|
| 1200 - 1330 | LUNCH | LUNCH | LUNCH |
| 1330 - 1415 | Keynote Presentation Craig Mundie (Microsoft) |
A Type-Safe Dialect of C |
Cryptol Verification Technology Mark Shields (Galois) |
| 1415 - 1430 | Chris Reuter (AFOSR) |
Specware Technologies |
|
| 1430 - 1500 |
The Challenge of Verified Software |
||
| 1500 - 1515 |
Recent Results With Correctness by Construction and SPARK |
||
| 1515 - 1530 | BREAK | BREAK | |
| 1530 - 1545 |
Sufficient Evidence? Building Certifiabily Dependable Systems |
Poster Session | |
| 1545 |
Conference Adjourned |
||
| 1615 - 1700 |
The Department of Defense (DoD) and Software Assurance |
||
| 1700 |
Conference Adjourned
|
Conference Adjourned
|
|
| 1830 |
Conference Dinner |
