Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 18:00 - 18:45 at PLMW - Session 2 Chair(s): Gabriel Scherer

Higher-order concurrent separation logic has been very successful in verifying correctness of intricate programs and reasoning about programming languages. In this talk we will present some basic ideas of program verification, separation logic, and how to use higher-order concurrent separation logic to reason about programs and programming languages. In particular, we will present and discuss the Iris program logic which is a general framework for defining separation logics and using them to reason about programs and programming languages.

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change