iCAP-TSO, a program logic for the TSO relaxed memory model

Add to your list(s) Download to your calendar using vCal

• Jean Pichon-Pharabod ()
• Friday 03 November 2017, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Ian Orton.

Reasoning about programs is difficult. Reasoning about concurrent programs is even more difficult. Reasoning in relaxed memory models is even worse. In this talk, I will present TSO , one of the simplest relaxed memory models, and iCAP-TSO, a separation logic for TSO .

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.