School of Computing

May 22
15:00 - 16:00
PLAS: Simon Cooksey
PLAS Group Seminar
Further Work On Thin Air Reads

C++ suffers from the Thin Air Problem, where the memory model  witnesses behaviours which aren't allowed by the hardware or the  compiler, and unwanted values can appear "out of thin air". There have  been several candidate solutions to this. We are working to extend a  concise but underdeveloped solution proposed by Jeffrey and Riely. This talk presents work in progress, including tool building in OCaml and Isabelle/HOL and model extension to support additional C++ features. 

Location

SW101,
Cornwallis South West,
University of Kent,
Canterbury,
Kent,
CT2 7NF
United Kingdom
Map

Details

Contact: O.Chitil
E: oc@kent.ac.uk
School of Computing

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015