[jmm-dev] LICS 2016 paper "On Thin-Air Reads"

Alan Jeffrey ajeffrey at mozilla.com
Mon Apr 11 16:26:12 UTC 2016

Dear all,

James Riely and I will have a paper at this year's Logic In Computer
Science conference titled "On Thin Air Reads: Towards an Event Structures
Model of Relaxed Memory". Some of the material was previously presented at
the Cambridge workshop, but the formalization of thin-air is new.


All comments welcome!

Alan Jeffrey.

More information about the jmm-dev mailing list