Visible to the public 2007 HCSS Conference Program Agenda

2007 HCSS Conference Program Agenda

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Tuesday, May 8

8:30 am Trusted Services Engine (TSE) and Applications
Andy Adams-Moran, Galois
10:00 am Break
10:30 am Andy-Adams Moran, Galois
Noon Lunch
1:30 pm Byron Cook, Microsoft Research
3:00 pm Break
3:30 pm Byron Cook, Microsoft Research
5:00 Adjourn for the day

Wednesday, May 9

8:30 am Welcome and Introductions
8:45 am Formal Specifications on Industrial Strength Code: From Myth to Reality
Manuvir Das, Microsoft
9:45 am Break
10:00 am Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution
John Hatcliff, Kansas State University
10:45 am Static Analysis for High Assurance and Security
Arnaud Venet, Kestrel Technology
11:30 am Formal Methods Anecdotes: Worse is Better!
Dan Craigen, CSE
12:15 pm Lunch
1:45 pm Trust Relationships
David Burke, Galois
2:30 pm Manifest Safety and Security
Robert Harper, Carnegie Mellon University
3:15 pm Break
3:30 pm Justifiable Confidence? Making Software Dependable
Daniel Jackson, MIT
4:15 pm The Verified Software Initiative
Natarajan Shankar, SRI International
5:00 pm Adjourn for the day
6:30 pm HCSS Conference Dinner at The Chart House

Thursday, May 10

8:30 am Compositional Assurance for MILS
John Rushby, SRI International
9:15 am Pete Manolios, Georgia Institute of Technology
10:00 am Verifying an Operating System Kernel
Michael Norrish, National ICT Australia
10:45 am Break
11:00 am Formally Verified ARM Code
Joe Hurd, University of Oxford
11:45 am Circuit Specification, Abstraction, and Reverse Engineering
Warren Hunt, University of Texas
12:30 pm Lunch
1:45 pm A Formal Semantics for ASN.1
Paul Steckler, Galois
2:45 pm Break
3:00 pm Turnstile: A High-Assurance Cross Domain Platform
Ray Richards, Rockwell Collins
4:00 pm The Haskell Lightweight VM
Adam Wick, Galois
5:00 pm Adjourn for the day