Visible to the public 2005 HCSS Conference Program Agenda

2005 HCSS Conference Program Agenda

http://cps-vo.org/node/1359

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Wednesday, March 9

8:30 am A Business Case for FP
John Launchbury, Galois
10:00 am Break
10:30 am A Developer-Oriented Approach to Software Assurance and Evolution
Bill Scherlis, Carnegie Mellon University
Noon Lunch
1:30 pm Keynote Presentation
Craig Mundie, Microsoft
2:30 pm The Challenge of Verified Software
Natarajan Shankar, SRI International
3:15 pm Break
3:30 pm Sufficient Evidence? Building Certifiabily Dependable Systems
Lynette Millett, National Academy of Sciences - CTSB
4:15 pm The Department of Defense (DoD) and Software Assurance
Larry Wagoner, National Security Agency
5:00 pm Adjourn for the day

Thursday, March 10

8:30 am Function Extraction for Malicious Code: The FX/MC Project
David Mundie, SEI/CERT
9:30 am Software Assurance Metrics and Tool Evaluation
Paul Black, NIST
10:15 am Break
10:30 am Unsafe at any (CPU) Speed - Why We Make the Same Mistakes Over and Over Again
Jeff Williams, Aspect Security
11:15 am A Next-Generation Platform for Analyzing Executables
Tom Reps, University of Wisconsin/GrammaTech
Noon Lunch
1:30 pm A Type-Safe Dialect of C
Greg Morrisett, Harvard University
2:15 pm Chris Reuter, AFOSR
3:00 pm Break
3:30 pm Poster Session
5:00 pm Adjourn for the day
6:30 pm Conference Dinner at Sabatino's


Friday, March 11

8:30 am Narrow Reachability Analysis
Jose Meseguer, University of Illinois
9:15 am Verified ARM Implementations
Michael Gordon, University of Cambridge
10:00 am Break
10:30 am Protocol Derivation Assistant
Dusko Pavlovic, Kestrel Institute
11:15 am Building a High-Assurance Separation Kernel Using Programatica
Mark Jones, OHSU/PSU
Noon Lunch
1:30 pm Cryptol Verification Technology
Mark Shields, Galois
2:15 pm Specware Technologies
Doug Smith, Kestrel Institute
3:00 pm Recent Results With Correctness by Construction and SPARK
Roderick Chapman, Praxis High Integrity Systems
3:45 pm Conference Adjourns