2009 HCSS Conference Program Agenda

2009 PROGRAM AGENDA

	MONDAY, MAY 18	TUESDAY, MAY 19
0900 - 1000	Keynote Presentation Multicore and Cloud Computing - Time to Start Afresh James Larus (Microsoft Research)	Keynote Presentation The Verified Software Initiative Natarajan Shankar (SRI)
1000 - 1030	BREAK	BREAK
1030 - 1115	Improving Undergraduate Programming Language Curriculum Kathleen Fisher (AT&T Labs Research)	Automated Security Analysis Joe Hurd (Galois)
1115 - 1200	An Educational Program for Information System Security Engineers Kris Britton (National Security Agency)	Dawson Engler (Stanford University)
1200 - 1330	LUNCH	LUNCH
1330 - 1415	Updatable Security Views Benjamin Pierce (University of Pennsylvania)	Automatic Reverse Engineering for Formal Verification Magnus Myreen (University of Cambridge)
1415- 1500	The 7 Features of Habit for Highly Assured Systems Programming Mark P. Jones (Portland State University)	CodeHawk: Sounds Static Analysis Through Customization Henry Spima (Kestrel Technology)
1500 - 1530	BREAK	BREAK
1530 - 1615	Reliable Workflow in a Distributed Environment William Cook (University of Texas at Austin)	Equivalence Checking Using Cryptol Sean Weaver (National Security Agency)
1615 - 1630	Policy DSL: High-Level Specifications of Information Flows for Security Policies Magnus Carlsson (Galois)	Use of the E Language Warren Hunt (Forrest Hunt, Inc.)
1630	Adjourn for the Day	Conference Adjourned