Visible to the public 2009 HCSS Conference Program Agenda

2009 HCSS Conference Program Agenda

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

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Monday, May 18

9:00 am Keynote Presentation: Multicore and Cloud Computing - Time to Start Afresh
James Larus, Microsoft Research
10:00 am Break
10:30 am Improving Undergraduate Programming Language Curriculum
Kathleen Fisher, AT&T Labs Research
11:15 am An Educational Program for Information System Security Engineers
Kris Britton, National Security Agency
Noon Lunch
1:30 pm Updatable Security Views
Benjamin Pierce, University of Pennsylvania
2:15 pm The 7 Features of Habit for Highly Assured Systems Programming
Mark P. Jones, Portland State University
3:00 pm Break
3:30 pm Reliable Workflow in a Distributed Environment
William Cook, University of Texas at Austin
4:15 pm Policy DSL: High-Level Specifications of Information Flows for Security Policies
Magnus Carlsson, Galois
5:00 pm Adjourn for the day

Tuesday, May 19

9:00 am Keynote Presentation: The Verified Software Initiative
Natarajan Shankar, SRI
10:00 am Break
10:30 am Automated Security Analysis
Joe Hurd, Galois
11:15 am Dawson Engler, Stanford University
Noon Lunch
1:30 pm Automatic Reverse Engineering for Formal Verification
Magnus Myreen, University of Cambridge
2:15 pm CodeHawk: Sounds Static Analysis Through Customization
Henry Spima, Kestrel Technology
3:00 pm Break
3:30 pm Equivalence Checking Using Cryptol
Sean Weaver, NSA
4:15 pm Use of the E Language
Warren Hunt, Forrest Hunt, Inc.
5:00 pm Conference Adjourned