HCSS '09

page

Visible to the public 2009 HCSS Conference Program Agenda

Submitted by Anonymous on Tue, 08/02/2011 - 10:41pm

2009 PROGRAM AGENDA

 

MONDAY, MAY 18

file

Visible to the public The Verified Software Initiative

Submitted by Natarajan Shankar on Fri, 07/01/2011 - 10:28am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Use of the E Language

Submitted by WarrenAHuntJr on Fri, 07/01/2011 - 10:26am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Multicore and Cloud Computing - Time to Start Afresh

Submitted by TimTh on Fri, 07/01/2011 - 10:24am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Concurrent Separation Logic

Submitted by TimTh on Fri, 07/01/2011 - 9:54am. Contributor:
file

Visible to the public Automated Security Analysis: Tool Support for Evaluating C Code

Submitted by TimTh on Fri, 07/01/2011 - 9:52am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Detecting "Certified Pre-owned" Software and Devices

Submitted by TimTh on Fri, 07/01/2011 - 9:50am. Contributor: