2007 HCSS Conference Program Agenda

2007 PROGRAM AGENDA

	TUESDAY, MAY 8	WEDNESDAY, MAY 9	THURSDAY, MAY 10
0830 - 0845	Trusted Services Engine (TSE) and Applications Andy Adams-Moran (Galois)	Welcome and Introductions	Compositional Assurance for MILS John Rushby (SRI International)
		Formal Specifications on Industrial Strength Code: From Myth to Reality Manuvir Das (Microsoft)
0845 - 0915
0915 - 0945			Pete Manolios (Georgia Institute of Technology)
0945 - 1000		BREAK
1000 - 1030	BREAK	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution John Hatcliff (Kansas State University)	Verifying an Operating System Kernel Michael Norrish (National ICT Australia)
1030 - 1045	Andy-Adams Moran (Galois)
1045 - 1100		Static Analysis for High Assurance and Security Arnaud Venet (Kestrel Technology)	BREAK
1100 - 1130			Formally Verified ARM Code Joe Hurd (University of Oxford)
1130 - 1145		Formal Methods Anecdotes: Worse is Better! Dan Craigen (CSE)
1145 - 1200			Circuit Specification, Abstraction, and Reverse Engineering Warren Hunt (University of Texas)
1200 - 1215	LUNCH
1215 - 1230		LUNCH
1230 - 1330			LUNCH
1330 - 1345	Byron Cook (Microsoft Research)
1345 - 1400		Trust Relationships David Burke (Galois)	A Formal Semantics for ASN.1 Paul Steckler (Galois)
1400 - 1430
1430 - 1445		Manifest Safety and Security Robert Harper (Carnegie Mellon University)
1445 - 1500			BREAK
1500 - 1515	BREAK		Turnstile: A High-Assurance Cross Domain Platform Ray Richards (Rockwell Collins)
1515 - 1530		BREAK
1530 - 1600	Byron Cook (Microsoft Research)	Justifiable Confidence? Making Software Dependable Daniel Jackson (MIT)
1600 - 1615			The Haskell Lightweight VM Adam Wick (Galois)
1615 - 1700		The Verified Software Initiative Natarajan Shankar (SRI International)
1700	Adjourn for the Day	Adjourn for the Day	Conference Adjourned
1830		Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403