National HCSS Conference 2015

file

Visible to the public Cerberus: Towards an Executable Semantics for Sequential and Concurrent C11

Submitted by Katie Dey on Thu, 04/23/2015 - 6:36pm. Contributors:

Presented as part of the 2015 HCSS conference.

Abstract:

C remains central to our computing infrastructure but still lacks a clear and complete semantics. Programmers lack tools to explore the range of behaviours they should expect; compiler development lacks test oracles; and formal verification and analysis must make (explicitly or implicitly) many choices about the specific C they target.

page

Visible to the public HCSS 2015 - Poster Session

Submitted by Katie Dey on Thu, 04/09/2015 - 6:08pm

The poster session will be held between 10:30 a.m. - 11:15 a.m. and 3:00 p.m. - 3:45 p.m. on Thursday, May 7, in the atrium of the Governor Calvert House.

SecProve: Analyzing Software for Security During Construction
Myla Archer, U.S. Naval Research Laboratory

event

Visible to the public  SCC 2015
May 03, 2015 8:00 am - May 04, 2015 5:00 pm EDT

Submitted by Anonymous on Tue, 04/07/2015 - 10:58am

On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis in early May, 2015.

Registration for SCC is free, but participants are required to register at:

http://cps-vo.org/group/hcss_conference/registration

Venue information is available on the registration web site.

Instructions for Registering for Each Day's Webinar: