Reasoning about Interference (or Lack Thereof)

VCLA will host a talk by Cliff B. Jones on Tuesday, March 8, 2016.

ABSTRACT

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.)   Click here to access the talk slides.