Verified Compilation Strategies

Speaker: Geoffrey Watson

When: 10:00, Thursday, 11th December, 2003

Venue: 78-420

Abstract: This talk reviews some of the work done for the project Verified Compilation Strategies for Critical Computer Programs (VCS), focusing on the refinement of specifications down to assembler code. The initial approach was based on a simple interpreter. However, this was found to have difficulties and a new semantics, based on program paths, has been developed.  

Hospitality: CJF

Contact: Prof Paul Bailes (SSE seminar co-ordinator) (p.bailes@epsa.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html