Cliff B. Jones

Date: 17:30, Tuesday, March 8, 2016
Speaker: Cliff B. Jones
Venue: TU Wien
Notes:

Time: 17:30,

Day: Tuesday, 

Room: EI10 Fritz Paschke lecture room, Gußhausstraße 27-29

Interference is perhaps most apparent in concurrent programs that use
shared-variable variables. The search for tractable (i.e.
compositional) ways to reason about interference has an interesting
history which this talk will briefly review. Coming up to date,
current research on “Rely/Guarantee thinking” will be described and
will include some interesting connections with “Separation Logic”
which focusses on showing when interference is absent. (Although
interference is also troublesome for communication-based concurrency
and related ideas have been shown to be effective for processes, the
talk will confine itself to the shared-variable case.)

Posted in RiSE Seminar